diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-25 22:23:01 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-25 22:23:01 +0100 |
| commit | 1d95a7febaee8c53df432cdbf1539f6f58a4d5d9 (patch) | |
| tree | 4afb9c40cc0aad93a3a5d26bb84f487da5a667e2 /example/symbol_exec | |
| parent | 972cad3a89d2856a6969328a9870a1b472cd9fd2 (diff) | |
| download | miasm-1d95a7febaee8c53df432cdbf1539f6f58a4d5d9.tar.gz miasm-1d95a7febaee8c53df432cdbf1539f6f58a4d5d9.zip | |
Rename ir_arch for jitter
Diffstat (limited to 'example/symbol_exec')
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 8 | ||||
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 2 |
2 files changed, 5 insertions, 5 deletions
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({ |