angr.analyses.decompiler.dephication.graph_vvar_mapping

class angr.analyses.decompiler.dephication.graph_vvar_mapping.GraphDephicationVVarMapping

Bases: Analysis

GraphDephicationVVarMapping collects information from an AIL graph regarding how virtual variables should be mapped to each other in order to remove phi variables. This mapping will later be used to transform a partial-SSA form of AIL graph to a conventional AIL graph.

This class largely implements “Translating Out of Static Single Assignment Form” by Sreedhar et al.

__init__(func, ail_graph, ail_manager, entry=None, vvar_id_start=0, arg_vvars=None)
Parameters:

  • func (Function | str) – The subject of the analysis: a function, or a single basic block

  • ail_graph – The AIL graph to transform.

  • ail_manager (Manager)

  • vvar_id_start (int)

  • arg_vvars (list[VirtualVariable] | None)