angr.engines.vex.heavy¶

class angr.engines.vex.heavy.HeavyResilienceMixin: Bases: VEXResilienceMixin, ClaripyDataMixin

class angr.engines.vex.heavy.HeavyVEXMixin

Execution engine based on VEX, Valgrind’s IR.

Responds to the following parameters to the step stack:

irsb: The PyVEX IRSB object to use for execution. If not provided one will be lifted.
skip_stmts: The number of statements to skip in processing
last_stmt: Do not execute any statements after this statement
whitelist: Only execute statements in this set
thumb: Whether the block should be force to be lifted in ARM’s THUMB mode.
extra_stop_points:
An extra set of points at which to break basic blocks
opt_level: The VEX optimization level to use.
insn_bytes: A string of bytes to use for the block instead of the project.
size: The maximum size of the block, in bytes.
num_inst: The maximum number of instructions.
traceflags: traceflags to be passed to VEX. (default: 0)

class angr.engines.vex.heavy.SimInspectMixin

Bases: VEXMixin

class angr.engines.vex.heavy.SuperFastpathMixin

This mixin implements the superfastpath execution mode, which skips all but the last four instructions.

class angr.engines.vex.heavy.TrackActionsMixin

Bases: HeavyVEXMixin

Submodules