angr.analyses.decompiler.dephication.rewriting_engine

class angr.analyses.decompiler.dephication.rewriting_engine.SimEngineDephiRewriting

Bases: SimEngineNostmtAIL[None, 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.

state: None
__init__(project, vvar_to_vvar, func_addr=None, variable_kb=None)
Parameters:
append_statement(stmt)
Return type:

None

Parameters:

stmt (Statement)