dse_crackme.py File Reference

Classes
class	dse_crackme.SymbolicFile
class	dse_crackme.FinishOn

Namespaces
	dse_crackme

Functions
def	dse_crackme.xxx_fopen (jitter)
def	dse_crackme.xxx_fread (jitter)
def	dse_crackme.xxx_fclose (jitter)
def	dse_crackme.xxx_fopen_symb (dse)
def	dse_crackme.xxx_fread_symb (dse)
def	dse_crackme.xxx_fclose_symb (dse)
def	dse_crackme.xxx___libc_start_main_symb (dse)
def	dse_crackme.xxx_puts_symb (dse)

Variables
string	dse_crackme.is_win = "Windows"
int	dse_crackme.my_FILE_ptr = 0x11223344
	dse_crackme.FInfo = namedtuple("FInfo", ["path", "fdesc"])
dictionary	dse_crackme.FILE_to_info = {}
	dse_crackme.TEMP_FILE = NamedTemporaryFile(delete = False)
	dse_crackme.parser = Sandbox_Linux_x86_64.parser(description="ELF sandboxer")
	dse_crackme.help
	dse_crackme.choices
	dse_crackme.default
	dse_crackme.options = parser.parse_args()
	dse_crackme.mimic_env
	dse_crackme.command_line
	dse_crackme.loc_db = LocationDB()
	dse_crackme.sb = Sandbox_Linux_x86_64(loc_db, options.filename, options, globals())
	dse_crackme.do_stk_segm
	dse_crackme.do_ds_segm
	dse_crackme.do_str_segm
	dse_crackme.do_all_segm
int	dse_crackme.FS_0_ADDR = 0x7ff70000
	dse_crackme.FS
dictionary	dse_crackme.FILE_to_info_symb = {}
	dse_crackme.FILE_stream = ExprId("FILE_0", 64)
	dse_crackme.FILE_size = ExprId("FILE_0_size", 64)
	dse_crackme.todo = set([b""])
	dse_crackme.machine = Machine("x86_64")
dictionary	dse_crackme.strategy
	dse_crackme.dse = DSEPathConstraint(machine, loc_db, produce_solution=strategy)
	dse_crackme.z3_file_size = dse.z3_trans.from_expr(FILE_size)
	dse_crackme.snapshot = dse.take_snapshot()
	Save the current clean state, before any computation of the FILE content. More...
bool	dse_crackme.found = False
	dse_crackme.file_content = todo.pop()
	dse_crackme.keep_known_solutions
dictionary	dse_crackme.finfo = FILE_to_info_symb[FILE_stream]
list	dse_crackme.out = []
	dse_crackme.fsize
dictionary	dse_crackme.byteid = finfo.gen_bytes[index]
	dse_crackme.crackme
	dse_crackme.stdout = stdout.strip()
	dse_crackme.stderr