angr.analyses.s_reaching_definitions.s_reaching_definitions¶

class angr.analyses.s_reaching_definitions.s_reaching_definitions.SReachingDefinitions¶

Bases: object

Constant and expression propagation that only supports SSA AIL graphs.

Deliberately not an Analysis: it is instantiated hundreds of times per decompilation (often once per block), so it skips the analysis-factory ceremony. Instantiate it directly with the project as the first argument; exceptions always propagate.

__init__(project, subject, func_addr=None, func_graph=None, func_args=None, use_callee_saved_regs_at_return=False, track_tmps=False, variable_map=None)¶

class angr.analyses.s_reaching_definitions.s_reaching_definitions.SReachingDefinitionsAnalysis¶

Bases: Analysis, SReachingDefinitions

A wrapper around SReachingDefinitions to make it usable as an Analysis and registered in the analysis hub.

__init__(subject, func_addr=None, func_graph=None, func_args=None, use_callee_saved_regs_at_return=False, track_tmps=False, variable_map=None)¶