miasm.analysis.ssa.SSADiGraph Class Reference

Inheritance diagram for miasm.analysis.ssa.SSADiGraph:

Collaboration diagram for miasm.analysis.ssa.SSADiGraph:

Public Member Functions
def	__init__ (self, ircfg)
def	transform (self, head)
def	reset (self)
Public Member Functions inherited from miasm.analysis.ssa.SSA
def	get_regs (self, expr)
def	transform (self, *args, **kwargs)
def	get_block (self, loc_key)
def	reverse_variable (self, ssa_var)

Public Attributes
	defs
	graph
Public Attributes inherited from miasm.analysis.ssa.SSA
	ircfg
	ssa_variable_to_expr
	expressions
	ssa_to_location
	immutable_ids

Static Public Attributes
string	PHI_STR = 'Phi'

Detailed Description

SSA transformation on DiGraph level

It handles
- transformation of a DiGraph into SSA
- generation, insertion and filling of phi nodes

The implemented SSA form is known as minimal SSA.

Constructor & Destructor Documentation

__init__()

def miasm.analysis.ssa.SSADiGraph.__init__	(		self,
			ircfg
	)

Initialises SSA class for directed graphs
:param ircfg: instance of IRCFG

Reimplemented from miasm.analysis.ssa.SSA.

Member Function Documentation

reset()

def miasm.analysis.ssa.SSADiGraph.reset

(

self

)

Resets SSA transformation

Reimplemented from miasm.analysis.ssa.SSA.

Here is the call graph for this function:

transform()

def miasm.analysis.ssa.SSADiGraph.transform	(		self,
			head
	)

Transforms into SSA

Here is the call graph for this function:

Member Data Documentation

defs

miasm.analysis.ssa.SSADiGraph.defs

graph

miasm.analysis.ssa.SSADiGraph.graph

PHI_STR

string miasm.analysis.ssa.SSADiGraph.PHI_STR = 'Phi'

static

---

The documentation for this class was generated from the following file:

• /home/serpilliere/projet/test_doc_miasm/miasm/miasm/analysis/ssa.py