angr.analyses.variable_recovery.engine_ail

class angr.analyses.variable_recovery.engine_ail.SimEngineVRAIL

Bases: SimEngineNostmtAIL[VariableRecoveryFastState, RichR[BV | FP], None, None], SimEngineVRBase[VariableRecoveryFastState, Block]

The engine for variable recovery on AIL.

__init__(*args, type_lifter, call_info=None, vvar_to_vvar, vvar_type_hints=None, func_ret_var=None, tv_manager=None, **kwargs)

Parameters:

• type_lifter (TypeTranslator)

• vvar_to_vvar (dict[int, int] | None)

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

• func_ret_var (SimVariable | None)

• tv_manager (TypeVariableManager | None)