angr.analyses.reaching_definitions.engine_ail

class angr.analyses.reaching_definitions.engine_ail.SimEngineRDAIL

Bases: SimEngineNostmtAIL[ReachingDefinitionsState, MultiValues[BV | FP], None, ReachingDefinitionsState]

__init__(project, function_handler, stack_pointer_tracker=None, use_callee_saved_regs_at_return=True, bp_as_gpr=False)

Parameters:

• function_handler (FunctionHandler)

• bp_as_gpr (bool)

process(state, *, dep_graph=None, visited_blocks=None, block=None, fail_fast=False, whitelist=None, **kwargs)