miasm.ir.symbexec_top.SymbolicStateTop Class Reference

Inheritance diagram for miasm.ir.symbexec_top.SymbolicStateTop:

Collaboration diagram for miasm.ir.symbexec_top.SymbolicStateTop:

Public Member Functions
def	__init__ (self, dct, regstop)
def	__hash__ (self)
def	__str__ (self)
def	__eq__ (self, other)
def	__ne__ (self, other)
def	__iter__ (self)
def	merge (self, other)
def	symbols (self)
def	regstop (self)

Public Attributes
	symbols
	regstop

Constructor & Destructor Documentation

__init__()

def miasm.ir.symbexec_top.SymbolicStateTop.__init__	(		self,
			dct,
			regstop
	)

Member Function Documentation

__eq__()

def miasm.ir.symbexec_top.SymbolicStateTop.__eq__	(		self,
			other
	)

Here is the caller graph for this function:

__hash__()

def miasm.ir.symbexec_top.SymbolicStateTop.__hash__

(

self

)

__iter__()

def miasm.ir.symbexec_top.SymbolicStateTop.__iter__

(

self

)

__ne__()

def miasm.ir.symbexec_top.SymbolicStateTop.__ne__	(		self,
			other
	)

Here is the call graph for this function:

__str__()

def miasm.ir.symbexec_top.SymbolicStateTop.__str__

(

self

)

merge()

def miasm.ir.symbexec_top.SymbolicStateTop.merge	(		self,
			other
	)

Merge two symbolic states
Only equal expressions are kept in both states
@other: second symbolic state

Reimplemented from miasm.ir.symbexec.StateEngine.

regstop()

def miasm.ir.symbexec_top.SymbolicStateTop.regstop

(

self

)

Return the set of expression with TOP values

symbols()

def miasm.ir.symbexec_top.SymbolicStateTop.symbols

(

self

)

Return the dictionary of known symbols

Here is the caller graph for this function:

Member Data Documentation

regstop

miasm.ir.symbexec_top.SymbolicStateTop.regstop

symbols

miasm.ir.symbexec_top.SymbolicStateTop.symbols

---

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

• /home/serpilliere/projet/test_doc_miasm/miasm/miasm/ir/symbexec_top.py