diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2016-10-14 13:38:22 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2016-11-04 16:45:46 +0100 |
| commit | 89795337461e2a2eeae42324e023582b93067996 (patch) | |
| tree | 411b05b9fd04c0aac269701c85745d4039de1a97 /example | |
| parent | ca9edfa2223a48550d53e62ab4e4856647428cca (diff) | |
| download | miasm-89795337461e2a2eeae42324e023582b93067996.tar.gz miasm-89795337461e2a2eeae42324e023582b93067996.zip | |
Symbexec: new api for emul_ir_*
Replacement: emul_ir_bloc(self, myir, addr, step=False) by: emul_ir_block(self, addr, step=False) and: emul_ir_blocs(self, myir, addr, lbl_stop=None, step=False) by: emul_ir_blocks(self, addr, lbl_stop=None, step=False) The 'myir' was already given in the symbolexec creation.
Diffstat (limited to 'example')
| -rw-r--r-- | example/ida/symbol_exec.py | 2 | ||||
| -rw-r--r-- | example/symbol_exec/single_instr.py | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/example/ida/symbol_exec.py b/example/ida/symbol_exec.py index 41c5c3bf..751f9a58 100644 --- a/example/ida/symbol_exec.py +++ b/example/ida/symbol_exec.py @@ -94,7 +94,7 @@ def symbolic_exec(): print "Run symbolic execution..." sb = symbexec(ira, machine.mn.regs.regs_init) - sb.emul_ir_blocs(ira, start) + sb.emul_ir_blocks(start) modified = {} for ident in sb.symbols.symbols_id: diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index e4dcdba6..365a17ec 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -26,8 +26,8 @@ symbols_init = ira.arch.regs.regs_init symb = symbexec(ira, symbols_init) # Emulate one IR basic block -## Emulation of several basic blocks can be done through .emul_ir_blocs -cur_addr = symb.emul_ir_bloc(ira, START_ADDR) +## Emulation of several basic blocks can be done through .emul_ir_blocks +cur_addr = symb.emul_ir_block(START_ADDR) # Modified elements print 'Modified registers:' |