angr.analyses.s_reaching_definitions.s_reaching_definitions

class angr.analyses.s_reaching_definitions.s_reaching_definitions.SReachingDefinitionsAnalysis

Bases: Analysis

Constant and expression propagation that only supports SSA AIL graphs.

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