angr.analyses.decompiler.ssailification.rewriting_engine

class angr.analyses.decompiler.ssailification.rewriting_engine.SimEngineSSARewriting

Bases: SimEngineNostmtAIL[RewritingState, Expression | None, Statement | tuple[Statement, …], None]

This engine rewrites every block to insert phi variables and replaces every used variable with their versioned copies at each use location.

__init__(project, *, ail_manager, def_to_udef, incomplete_defs, vvar_id_start=0, rewrite_tmps=False, stackvars=False, fail_fast=False)

Parameters:

• ail_manager (Manager)

• def_to_udef (MutableMapping[Def, UDef])

• incomplete_defs (set[Def])

• vvar_id_start (int)

• rewrite_tmps (bool)

• stackvars (bool)

• fail_fast (bool)

property current_vvar_id: int

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

Return type:

None

Parameters:

• state (RewritingState)

• block (Block | None)

• whitelist (set[int] | None)