angr.engines.soot.engine

class angr.engines.soot.engine.SootMixin

Bases: SuccessorsEngine, ProcedureMixin

Execution engine based on Soot.

lift_soot(addr=None, the_binary=None, **kwargs)

get_unconstrained_simprocedure()

classmethod setup_callsite(state, args, ret_addr, ret_var=None)

static setup_arguments(state, args)

static prepare_return_state(state, ret_value=None)

static terminate_execution(statement, state, successors)

static prepare_native_return_state(native_state)

Hook target for native function call returns.

Recovers and stores the return value from native memory and toggles the state, s.t. execution continues in the Soot engine.