miasm.analysis.data_analysis.symb_exec_func Class Reference

Inheritance diagram for miasm.analysis.data_analysis.symb_exec_func:

Collaboration diagram for miasm.analysis.data_analysis.symb_exec_func:

Public Member Functions
def	__init__ (self, ir_arch)
def	add_state (self, parent, ad, state)
def	get_next_state (self)
def	do_step (self)

Public Attributes
	todo
	stateby_ad
	cpt
	states_var_done
	states_done
	total_done
	ir_arch

Detailed Description

This algorithm will do symbolic execution on a function, trying to propagate
states between basic blocks in order to extract inter-blocks dataflow. The
algorithm tries to merge states from blocks with multiple parents.

There is no real magic here, loops and complex merging will certainly fail.

Constructor & Destructor Documentation

__init__()

def miasm.analysis.data_analysis.symb_exec_func.__init__	(		self,
			ir_arch
	)

Member Function Documentation

add_state()

def miasm.analysis.data_analysis.symb_exec_func.add_state	(		self,
			parent,
			ad,
			state
	)

Here is the call graph for this function:

do_step()

def miasm.analysis.data_analysis.symb_exec_func.do_step

(

self

)

Here is the call graph for this function:

get_next_state()

def miasm.analysis.data_analysis.symb_exec_func.get_next_state

(

self

)

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

cpt

miasm.analysis.data_analysis.symb_exec_func.cpt

ir_arch

miasm.analysis.data_analysis.symb_exec_func.ir_arch

stateby_ad

miasm.analysis.data_analysis.symb_exec_func.stateby_ad

states_done

miasm.analysis.data_analysis.symb_exec_func.states_done

states_var_done

miasm.analysis.data_analysis.symb_exec_func.states_var_done

todo

miasm.analysis.data_analysis.symb_exec_func.todo

total_done

miasm.analysis.data_analysis.symb_exec_func.total_done

---

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

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