miasm.ir.symbexec.SymbolMngr Class Reference

Inheritance diagram for miasm.ir.symbexec.SymbolMngr:

Collaboration diagram for miasm.ir.symbexec.SymbolMngr:

Public Member Functions
def	__init__ (self, init=None, addrsize=None, expr_simp=expr_simp_explicit)
def	__contains__ (self, expr)
def	__getitem__ (self, expr)
def	__setitem__ (self, expr, value)
def	__delitem__ (self, expr)
def	copy (self)
def	clear (self)
def	read (self, src)
def	write (self, dst, src)
def	dump (self, ids=True, mems=True)
def	__repr__ (self)
def	iteritems (self)
def	items (self)
def	__iter__ (self)
def	ids (self)
def	memory (self)
def	keys (self)

Public Attributes
	addrsize
	expr_simp
	symbols_id
	symbols_mem
	mask

Detailed Description

Symbolic store manager (IDs and MEMs)

Constructor & Destructor Documentation

__init__()

def miasm.ir.symbexec.SymbolMngr.__init__	(		self,
			init = None,
			addrsize = None,
			expr_simp = expr_simp_explicit
	)

Member Function Documentation

__contains__()

def miasm.ir.symbexec.SymbolMngr.__contains__	(		self,
			expr
	)

__delitem__()

def miasm.ir.symbexec.SymbolMngr.__delitem__	(		self,
			expr
	)

__getitem__()

def miasm.ir.symbexec.SymbolMngr.__getitem__	(		self,
			expr
	)

Here is the call graph for this function:

__iter__()

def miasm.ir.symbexec.SymbolMngr.__iter__

(

self

)

Here is the call graph for this function:

__repr__()

def miasm.ir.symbexec.SymbolMngr.__repr__

(

self

)

__setitem__()

def miasm.ir.symbexec.SymbolMngr.__setitem__	(		self,
			expr,
			value
	)

Here is the call graph for this function:

clear()

def miasm.ir.symbexec.SymbolMngr.clear

(

self

)

Forget every variables values

copy()

def miasm.ir.symbexec.SymbolMngr.copy

(

self

)

Copy object instance

dump()

def miasm.ir.symbexec.SymbolMngr.dump	(		self,
			ids = True,
			mems = True
	)

Display memory content

Here is the call graph for this function:

Here is the caller graph for this function:

ids()

def miasm.ir.symbexec.SymbolMngr.ids

(

self

)

Iterate on variables and their values.

Here is the caller graph for this function:

items()

def miasm.ir.symbexec.SymbolMngr.items

(

self

)

Return variables/values of the current state

Here is the call graph for this function:

iteritems()

def miasm.ir.symbexec.SymbolMngr.iteritems

(

self

)

ExprId/ExprMem iteritems of the current state

Here is the call graph for this function:

Here is the caller graph for this function:

keys()

def miasm.ir.symbexec.SymbolMngr.keys

(

self

)

Variables of the current state

memory()

def miasm.ir.symbexec.SymbolMngr.memory

(

self

)

Iterate on memory variables and their values.

Here is the caller graph for this function:

read()

def miasm.ir.symbexec.SymbolMngr.read	(		self,
			src
	)

Return the value corresponding to Expr @src
@src: ExprId or ExprMem instance

Here is the caller graph for this function:

write()

def miasm.ir.symbexec.SymbolMngr.write	(		self,
			dst,
			src
	)

Update @dst with @src expression
@dst: ExprId or ExprMem instance
@src: Expression instance

Here is the caller graph for this function:

Member Data Documentation

addrsize

miasm.ir.symbexec.SymbolMngr.addrsize

expr_simp

miasm.ir.symbexec.SymbolMngr.expr_simp

mask

miasm.ir.symbexec.SymbolMngr.mask

symbols_id

miasm.ir.symbexec.SymbolMngr.symbols_id

symbols_mem

miasm.ir.symbexec.SymbolMngr.symbols_mem

---

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

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