angr.analyses.decompiler.dephication.graph_dephication¶

class angr.analyses.decompiler.dephication.graph_dephication.GraphDephication¶

GraphDephication removes phi expressions from an AIL graph, essentially transforms a partial-SSA form of AIL graph to a normal AIL graph.

__init__(func, ail_graph, vvar_to_vvar_mapping=None, rewrite=False, variable_kb=None)¶

Parameters:

func (Function | str) – The subject of the analysis: a function, or a single basic block
ail_graph – The AIL graph to transform.
vvar_to_vvar_mapping (dict[int, int] | None)
rewrite (bool)
variable_kb (KnowledgeBase | None)