angr.analyses.propagator¶

class angr.analyses.propagator.PropagatorAnalysis

Bases: ForwardAnalysis, Analysis

PropagatorAnalysis implements copy propagation. It propagates values (either constant values or variables) and expressions inside a block or across a function.

PropagatorAnalysis only supports VEX. For AIL, please use SPropagator.

PropagatorAnalysis performs certain arithmetic operations between constants, including but are not limited to:

addition
subtraction
multiplication
division
xor

It also performs the following memory operations:

Loading values from a known address
Writing values to a stack variable

property prop_key: tuple[str | None, str, int, bool, bool, bool]: Gets a key that represents the function and the “flavor” of the propagation result.

property replacements

Submodules

`engine_base`
`engine_vex`
`propagator`
`top_checker_mixin`
`values`
`vex_vars`