angr.analyses.variable_recovery.engine_base

class angr.analyses.variable_recovery.engine_base.RichR

Bases: Generic[RichRT_co]

A rich representation of calculation results. The variable recovery data domain.

__init__(data, variable=None, typevar=None, type_constraints=None)

Parameters:

• data (RichRT_co)

• typevar (TypeConstant | TypeVariable | None)

• type_constraints (set[TypeConstraint] | None)

data

variable

typevar: TypeConstant | TypeVariable | None

type_constraints

property bits: int

class angr.analyses.variable_recovery.engine_base.SimEngineVRBase

Bases: SimEngineLight[VRStateType, RichR[BV | FP], BlockType, None], Generic[VRStateType, BlockType]

The base class for variable recovery analyses. Contains methods for basic interactions with the state, like loading and storing data.

__init__(project, kb, vvar_type_hints=None, tv_manager=None, stack_region_vars=None)

Parameters:

• vvar_type_hints (dict[int, TypeConstant] | None)

• tv_manager (TypeVariableManager | None)

• stack_region_vars (dict[int, tuple[SimStackVariable, int]] | None)

vvar_type_hints: dict[int, TypeConstant]

stack_region_vars: dict[int, tuple[SimStackVariable, int]]

vvar_region: dict[int, Any]

property func_addr

property block_idx: int | None