angr.analyses.propagator.engine_base

class angr.analyses.propagator.engine_base.SimEnginePropagatorBaseMixin

Bases: SimEngineLight, Generic

The base class for the propagator VEX engine.

__init__(project, stack_pointer_tracker=None, propagate_tmps=True, reaching_definitions=None, bp_as_gpr=False)
Parameters:
process(state, *, block=None, base_state=None, load_callback=None, **kwargs)
Return type:

TypeVar(StateType)

Parameters: