mode=xxx
to a state constructor.symbolic
symbolic_approximating
static
fastpath
tracing
angr.options.xxx
.common_options
symbolic
resilience
state.history.events
.refs
history.actions
. This option consumes a lot of memory, so be careful!approximation
simplification
unicorn
angr.options.XXX
.ABSTRACT_MEMORY
SimAbstractMemory
to model memory as discrete regionsstatic
ABSTRACT_SOLVER
static
ACTION_DEPS
APPROXIMATE_GUARDS
APPROXIMATE_MEMORY_INDICES
approximation
symbolic_approximating
APPROXIMATE_MEMORY_SIZES
approximation
symbolic_approximating
APPROXIMATE_SATISFIABILITY
approximation
symbolic_approximating
AST_DEPS
AUTO_REFS
AVOID_MULTIVALUED_READS
fastpath
AVOID_MULTIVALUED_WRITES
fastpath
BEST_EFFORT_MEMORY_STORING
static
, fastpath
BREAK_SIRSB_END
BREAK_SIRSB_START
BREAK_SIRSTMT_END
BREAK_SIRSTMT_START
BYPASS_ERRORED_IRCCALL
resilience
fastpath
, tracing
BYPASS_ERRORED_IROP
resilience
fastpath
, tracing
BYPASS_UNSUPPORTED_IRCCALL
resilience
fastpath
, tracing