angr.engines.pcode.engine

class angr.engines.pcode.engine.HeavyPcodeMixin

Bases: SuccessorsEngine, PcodeLifterEngineMixin, PcodeEmulatorMixin

Execution engine based on P-code, Ghidra’s IR.

Responds to the following parameters to the step stack:

  • irsb: The P-Code 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

  • thumb: Whether the block should be force to be lifted in ARM’s THUMB mode. (FIXME)

  • extra_stop_points:

    An extra set of points at which to break basic blocks

  • 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.

__init__(*args, **kwargs)