angr.engines.ail.callstack

class angr.engines.ail.callstack.AILCallStack

Bases: CallStack

An implementation of state.callstack for AIL symbolic execution

Contains extra state for local vars and AIL calling conventions

__init__(*args, **kwargs)

copy_without_tail(memo)