depgraph.py File Reference

Namespaces
	depgraph

Variables
	depgraph.parser = ArgumentParser("Dependency grapher")
	depgraph.help
	depgraph.nargs
	depgraph.action
	depgraph.args = parser.parse_args()
	depgraph.loc_db = LocationDB()
	depgraph.cont = Container.from_stream(fstream, loc_db)
	depgraph.arch = args.architecture if args.architecture else cont.arch
	depgraph.machine = Machine(arch)
	depgraph.elements = set()
	depgraph.regs = machine.mn.regs.all_regs_ids_byname
	depgraph.mdis = machine.dis_engine(cont.bin_stream, dont_dis_nulstart_bloc=True, loc_db=loc_db)
	depgraph.ir_arch = machine.ira(loc_db)
dictionary	depgraph.init_ctx = {}
	depgraph.e_mem = ExprMem(ExprId("ESP_init", 32) + ExprInt(4 * (i + 1), 32), 32)
	depgraph.asmcfg = mdis.dis_multiblock(int(args.func_addr, 0))
	depgraph.ircfg = ir_arch.new_ircfg_from_asmcfg(asmcfg)
	depgraph.dg
	depgraph.target_addr = int(args.target_addr, 0)
	depgraph.current_loc_key = next(iter(ircfg.getby_offset(target_addr)))
int	depgraph.assignblk_index = 0
	depgraph.current_block = ircfg.get_block(current_loc_key)
list	depgraph.json_solutions = []
string	depgraph.fname = "sol_%d.dot" % sol_nb
	depgraph.results = sol.emul(ir_arch, ctx=init_ctx)
dictionary	depgraph.tokens = {str(k): str(v) for k, v in viewitems(results)}
string	depgraph.result = ", ".join("=".join(x) for x in viewitems(tokens))
	depgraph.sat = sol.is_satisfiable
dictionary	depgraph.constraints = {}