angr.analyses.variable_recovery.engine_base

class angr.analyses.variable_recovery.engine_base.RichR

Bases: Generic

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 (typeconsts.TypeConstant | typevars.TypeVariable | None)

• type_constraints (set[typevars.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

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)

Parameters:

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

• tv_manager (TypeVariableManager | None)

vvar_type_hints: dict[int, TypeConstant]

vvar_region: dict[int, Any]

property func_addr