miasm.analysis.ssa.SSABlock Class Reference

Inheritance diagram for miasm.analysis.ssa.SSABlock:

Collaboration diagram for miasm.analysis.ssa.SSABlock:

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

Additional Inherited Members
Public Attributes inherited from miasm.analysis.ssa.SSA
	ircfg
	ssa_variable_to_expr
	expressions
	ssa_to_location
	immutable_ids

Detailed Description

SSA transformation on block level

It handles
- transformation of a single IRBlock into SSA
- reassembling an SSA expression into a non-SSA
  expression through iterative resolving of the RHS

Member Function Documentation

reassemble_expr()

def miasm.analysis.ssa.SSABlock.reassemble_expr	(		self,
			expr
	)

Reassembles an expression in SSA form into a solely non-SSA expression
:param expr: expression
:return: non-SSA expression

Here is the call graph for this function:

transform()

def miasm.analysis.ssa.SSABlock.transform	(		self,
			loc_key
	)

Transforms a block into SSA form
:param loc_key: IRBlock loc_key

Reimplemented in miasm.analysis.ssa.SSAPath.

Here is the call graph for this function:

---

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

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