dse_crackme.SymbolicFile Class Reference

Inheritance diagram for dse_crackme.SymbolicFile:

Collaboration diagram for dse_crackme.SymbolicFile:

Public Member Functions
def	__init__ (self, fname)
def	read (self, length)
def	close (self)

Public Attributes
	fname
	position
	max_size
	gen_bytes
	state

Detailed Description

Symbolic file with read operation, returning symbolic bytes

Constructor & Destructor Documentation

__init__()

def dse_crackme.SymbolicFile.__init__	(		self,
			fname
	)

Member Function Documentation

close()

def dse_crackme.SymbolicFile.close

(

self

)

read()

def dse_crackme.SymbolicFile.read	(		self,
			length
	)

Here is the caller graph for this function:

Member Data Documentation

fname

dse_crackme.SymbolicFile.fname

gen_bytes

dse_crackme.SymbolicFile.gen_bytes

max_size

dse_crackme.SymbolicFile.max_size

position

dse_crackme.SymbolicFile.position

state

dse_crackme.SymbolicFile.state

---

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

• /home/serpilliere/projet/test_doc_miasm/miasm/example/symbol_exec/dse_crackme.py