miasm.ir.symbexec.SymbolicState Class Reference

Inheritance diagram for miasm.ir.symbexec.SymbolicState:

Collaboration diagram for miasm.ir.symbexec.SymbolicState:

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

Public Attributes
	symbols

Detailed Description

Stores a SymbolicExecutionEngine state

Constructor & Destructor Documentation

__init__()

def miasm.ir.symbexec.SymbolicState.__init__	(		self,
			dct
	)

Member Function Documentation

__eq__()

def miasm.ir.symbexec.SymbolicState.__eq__	(		self,
			other
	)

Here is the caller graph for this function:

__hash__()

def miasm.ir.symbexec.SymbolicState.__hash__

(

self

)

__iter__()

def miasm.ir.symbexec.SymbolicState.__iter__

(

self

)

Here is the caller graph for this function:

__ne__()

def miasm.ir.symbexec.SymbolicState.__ne__	(		self,
			other
	)

iteritems()

def miasm.ir.symbexec.SymbolicState.iteritems

(

self

)

Iterate on stored memory/values

Here is the call graph for this function:

Here is the caller graph for this function:

merge()

def miasm.ir.symbexec.SymbolicState.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.

symbols()

def miasm.ir.symbexec.SymbolicState.symbols

(

self

)

Return the dictionary of known symbols

Here is the caller graph for this function:

Member Data Documentation

symbols

miasm.ir.symbexec.SymbolicState.symbols

---

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

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