angr.engines.ail.engine_light

type angr.engines.ail.engine_light.StateType = SimState[int, BV]

type angr.engines.ail.engine_light.DataType = Bits | Bool

exception angr.engines.ail.engine_light.CallReached

Bases: Exception

An exception to abort executing a block if we need to restart it with a call result

class angr.engines.ail.engine_light.SimEngineAILSimState

Bases: SimEngineLightAIL[StateType, DataType, bool, None]

A light engine for symbolically executing AIL

__init__(project, successors)

Parameters:

• project (Project)

• successors (SimSuccessors)

process(state, *, block=None, whitelist=None, **kwargs)

Return type:

None

Parameters:

• state (StateType)

• block (Block | None)

• whitelist (set[int] | None)

property frame: AILCallStack

lift_addr(addr)

Return type:

Clinic

Parameters:

addr (int)

lift(state)

Return type:

Block

Parameters:

state (StateType | int | Address)