angr.analyses.decompiler.ssailification.rewriting_state

class angr.analyses.decompiler.ssailification.rewriting_state.RewritingState

Bases: object

The abstract state for the expression rewriting engine.

__init__(loc, arch, func, original_block, registers=None, stackvars=None)

Parameters:

• loc (AILCodeLocation)

• original_block (Block)

• registers (dict[int, VirtualVariable] | None)

• stackvars (ChainMapCOW[int, VirtualVariable] | None)

copy()

Return type:

RewritingState

append_statement(stmt)

Parameters:

stmt (Statement)