diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-12-26 00:03:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-26 00:03:54 +0100 |
| commit | 1673c3eb29d88cbd7b642419c197fa0993ca5871 (patch) | |
| tree | b5489af2d481c9db7f3c530d3b1634031cfbd4d5 /example/symbol_exec/dse_strategies.py | |
| parent | 931a7d95bf48ec35b9c69b4e22b890f512164a9b (diff) | |
| parent | 1d95a7febaee8c53df432cdbf1539f6f58a4d5d9 (diff) | |
| download | miasm-1673c3eb29d88cbd7b642419c197fa0993ca5871.tar.gz miasm-1673c3eb29d88cbd7b642419c197fa0993ca5871.zip | |
Merge pull request #1335 from serpilliere/rename_ir_arch
Rename ir arch
Diffstat (limited to 'example/symbol_exec/dse_strategies.py')
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 2 |
1 files changed, 1 insertions, 1 deletions
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({ |