diff options
Diffstat (limited to 'example/symbol_exec/single_instr.py')
| -rw-r--r-- | example/symbol_exec/single_instr.py | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index 3b27a814..789252df 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -1,8 +1,9 @@ +from __future__ import print_function # Minimalist Symbol Exec example -from miasm2.analysis.binary import Container -from miasm2.analysis.machine import Machine -from miasm2.ir.symbexec import SymbolicExecutionEngine -from miasm2.core.locationdb import LocationDB +from miasm.analysis.binary import Container +from miasm.analysis.machine import Machine +from miasm.ir.symbexec import SymbolicExecutionEngine +from miasm.core.locationdb import LocationDB START_ADDR = 0 machine = Machine("x86_32") @@ -32,9 +33,9 @@ symb = SymbolicExecutionEngine(ira) cur_addr = symb.run_at(ircfg, START_ADDR) # Modified elements -print 'Modified registers:' +print('Modified registers:') symb.dump(mems=False) -print 'Modified memory (should be empty):' +print('Modified memory (should be empty):') symb.dump(ids=False) # Check final status |