angr.analyses.decompiler.block_simplifier

class angr.analyses.decompiler.block_simplifier.HasCallExprWalker

Bases: AILBlockViewer

Test if an expression contains a call expression inside.

__init__()

class angr.analyses.decompiler.block_simplifier.BlockSimplifier

Bases: Analysis

Simplify an AIL block.

__init__(block, ail_manager, func_addr=None, stack_pointer_tracker=None, peephole_optimizations=None, preserve_vvar_ids=None, type_hints=None, cached_reaching_definitions=None, cached_propagator=None)

Parameters:

• block (Block | None) – The AIL block to simplify. Setting it to None to skip calling self._analyze(), which is useful in test cases.

• ail_manager (Manager)

• func_addr (int | None)

• peephole_optimizations (None | Iterable[type[PeepholeOptimizationStmtBase] | type[PeepholeOptimizationExprBase] | type[PeepholeOptimizationMultiStmtBase]])

• preserve_vvar_ids (set[int] | None)

• type_hints (list[tuple[VirtualVariable | MemoryLocation, str]] | None)