angr.analyses.decompiler.optimization_passes.condition_constprop

class angr.analyses.decompiler.optimization_passes.condition_constprop.ConstantCondition

Bases: object

Describes an opportunity for replacing a vvar with a constant value.

__init__(vvar_id, value, block_addr, block_idx)

Parameters:

• vvar_id (int)

• value (Const)

• block_addr (int)

• block_idx (int | None)

class angr.analyses.decompiler.optimization_passes.condition_constprop.CCondPropBlockWalker

Bases: AILBlockRewriter

Block walker for ConditionConstantPropagation to replace vvars with constant values.

__init__(vvar_id, const_value)

Parameters:

• vvar_id (int)

• const_value (Const)

class angr.analyses.decompiler.optimization_passes.condition_constprop.ConditionConstantPropagation

Bases: OptimizationPass

Reason about constant propagation opportunities from conditionals and propagate constants in the graph accordingly.

ARCHES = None

PLATFORMS = None

STAGE: OptimizationPassStage = 2

NAME = 'Propagate constants using information deduced from conditionals.'

DESCRIPTION = 'Reason about constant propagation opportunities from conditionals and propagate constants in the graph accordingly.'

__init__(*args, **kwargs)