angr.analyses.reaching_definitions.engine_vex

class angr.analyses.reaching_definitions.engine_vex.SimEngineRDVEX

Bases: SimEngineNostmtVEX[ReachingDefinitionsState, MultiValues[BV | FP], ReachingDefinitionsState]

Implements the VEX execution engine for reaching definition analysis.

__init__(project, function_handler, functions)
Parameters:
process(state, *, block=None, fail_fast=False, visited_blocks=None, dep_graph=None, whitelist=None, **kwargs)