Package vivisect :: Package symboliks :: Module common :: Class Mem
[hide private]
[frames] | no frames]

Class Mem

source code


This is effectivly a cop-out for symbolic states read in from memory which has not been initialized yet.

Instance Methods [hide private]
 
__init__(self, symaddr, symsize) source code
 
__repr__(self) source code
 
__str__(self) source code
 
_reduce(self, emu=None)
Algebraic reduction and operator folding where possible.
source code
 
update(self, emu)
Return an updated representation for this symbolik state based on the given emulator.
source code
 
isDiscrete(self, emu=None)
Returns True if the given symbolik (from here down) does *not* depend on any variables or runtime values.
source code
 
_solve(self, emu=None)
Produce a reproducable answer based on the current state if provided.
source code
 
getWidth(self) source code

Inherited from SymbolikBase: __add__, __and__, __div__, __eq__, __hash__, __iadd__, __iand__, __idiv__, __ilshift__, __imod__, __imul__, __ior__, __irshift__, __isub__, __ixor__, __lshift__, __mod__, __mul__, __ne__, __or__, __pow__, __rshift__, __sub__, __xor__, clearCache, reduce, solve, walkTree

Inherited from SymbolikBase (private): _clearCache

Class Variables [hide private]

Inherited from SymbolikBase: idgen

Method Details [hide private]

__init__(self, symaddr, symsize)
(Constructor)

source code 
Overrides: SymbolikBase.__init__

_reduce(self, emu=None)

source code 

Algebraic reduction and operator folding where possible. (INLINE!)

Overrides: SymbolikBase._reduce
(inherited documentation)

update(self, emu)

source code 

Return an updated representation for this symbolik state based on the given emulator. This is *NOT* inline.

Overrides: SymbolikBase.update
(inherited documentation)

isDiscrete(self, emu=None)

source code 

Returns True if the given symbolik (from here down) does *not* depend on any variables or runtime values.

Overrides: SymbolikBase.isDiscrete
(inherited documentation)

_solve(self, emu=None)

source code 

Produce a reproducable answer based on the current state if provided.

Overrides: SymbolikBase._solve
(inherited documentation)