angr.analyses.decompiler.dephication.seqnode_dephication

class angr.analyses.decompiler.dephication.seqnode_dephication.PhiAssignmentCollector

Bases: SequenceWalker

PhiAssignmentCollector collects all phi variables and their corresponding source virtual variables in a SequenceNode.

__init__(seq_node)

Parameters:

seq_node (SequenceNode)

class angr.analyses.decompiler.dephication.seqnode_dephication.SeqNodeRewriter

Bases: SequenceWalker

SeqNodeRewriter rewrites a SequenceNode by replacing all phi variables with their corresponding source virtual variables.

__init__(seq_node, vvar_to_vvar, project, variable_kb=None, func_addr=None)

Parameters:

• seq_node (SequenceNode)

• vvar_to_vvar (dict[int, int])

• project (Project)

• variable_kb (KnowledgeBase | None)

• func_addr (int | None)

class angr.analyses.decompiler.dephication.seqnode_dephication.SeqNodeDephication

Bases: DephicationBase

SeqNodeDephication removes phi expressions from a SequenceNode and its children. It also removes redundant variable assignments, e.g., vvar_2 = vvar_1 where both vvar_1 and vvar_2 are mapped to the same variable.

__init__(func, seq_node, vvar_to_vvar_mapping=None, rewrite=False, variable_kb=None)

Parameters:

• func (Function | str)

• vvar_to_vvar_mapping (dict[int, int] | None)

• rewrite (bool)

• variable_kb (KnowledgeBase | None)