Closed SteinsGatep001 closed 1 year ago
When use
simgr.use_technique(angr.exploration_techniques.Symbion(find=address_list, memory_concretize=memory_concretize, register_concretize=register_concretize, timeout=timeout))
will you add condition for these address_list?
Hey @SteinsGatep001, we are not actively developing Symbion right now, hence, this probably won't happen anytime soon.
When use
will you add condition for these address_list?