diff options
Diffstat (limited to 'example/symbol_exec')
| -rw-r--r-- | example/symbol_exec/depgraph.py | 6 | ||||
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 8 | ||||
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 2 |
3 files changed, 8 insertions, 8 deletions
diff --git a/example/symbol_exec/depgraph.py b/example/symbol_exec/depgraph.py index 62190e6b..21c6fe45 100644 --- a/example/symbol_exec/depgraph.py +++ b/example/symbol_exec/depgraph.py @@ -52,7 +52,7 @@ for element in args.element: raise ValueError("Unknown element '%s'" % element) mdis = machine.dis_engine(cont.bin_stream, dont_dis_nulstart_bloc=True, loc_db=loc_db) -ir_arch = machine.lifter_model_call(loc_db) +lifter = machine.lifter_model_call(loc_db) # Common argument forms init_ctx = {} @@ -67,7 +67,7 @@ if args.rename_args: asmcfg = mdis.dis_multiblock(int(args.func_addr, 0)) # Generate IR -ircfg = ir_arch.new_ircfg_from_asmcfg(asmcfg) +ircfg = lifter.new_ircfg_from_asmcfg(asmcfg) # Get the instance dg = DependencyGraph( @@ -93,7 +93,7 @@ for sol_nb, sol in enumerate(dg.get(current_block.loc_key, elements, assignblk_i with open(fname, "w") as fdesc: fdesc.write(sol.graph.dot()) - results = sol.emul(ir_arch, ctx=init_ctx) + results = sol.emul(lifter, ctx=init_ctx) tokens = {str(k): str(v) for k, v in viewitems(results)} if not args.json: result = ", ".join("=".join(x) for x in viewitems(tokens)) diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py index cdaf5a1a..fc2e1414 100644 --- a/example/symbol_exec/dse_crackme.py +++ b/example/symbol_exec/dse_crackme.py @@ -80,10 +80,10 @@ loc_db = LocationDB() sb = Sandbox_Linux_x86_64(loc_db, options.filename, options, globals()) # Init segment -sb.jitter.ir_arch.do_stk_segm = True -sb.jitter.ir_arch.do_ds_segm = True -sb.jitter.ir_arch.do_str_segm = True -sb.jitter.ir_arch.do_all_segm = True +sb.jitter.lifter.do_stk_segm = True +sb.jitter.lifter.do_ds_segm = True +sb.jitter.lifter.do_str_segm = True +sb.jitter.lifter.do_all_segm = True FS_0_ADDR = 0x7ff70000 sb.jitter.cpu.FS = 0x4 sb.jitter.cpu.set_segm_base(sb.jitter.cpu.FS, FS_0_ADDR) diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index bcea2329..933a51db 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -79,7 +79,7 @@ dse = DSEPathConstraint(machine, loc_db, produce_solution=strategy) dse.attach(jitter) # Concretize everything except the argument dse.update_state_from_concrete() -regs = jitter.ir_arch.arch.regs +regs = jitter.lifter.arch.regs arg = ExprId("ARG", 32) arg_addr = ExprMem(ExprInt(jitter.cpu.ESP + 4, regs.ESP.size), arg.size) dse.update_state({ |