diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-02-14 15:33:17 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-03-13 13:56:26 +0100 |
| commit | d8cbc059655bd275b5e178b2339b931d9f0b126a (patch) | |
| tree | 22a198d57baab9c3b94bf0f259faa4ca0db97c52 /example/ida/symbol_exec.py | |
| parent | 5ee794990ff30ca18909dd3815eda26ac267cbf4 (diff) | |
| download | miasm-d8cbc059655bd275b5e178b2339b931d9f0b126a.tar.gz miasm-d8cbc059655bd275b5e178b2339b931d9f0b126a.zip | |
IR/Symbexec: rename symbexec to SymbolicExecutionEngine
Diffstat (limited to 'example/ida/symbol_exec.py')
| -rw-r--r-- | example/ida/symbol_exec.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/example/ida/symbol_exec.py b/example/ida/symbol_exec.py index 751f9a58..edb6287b 100644 --- a/example/ida/symbol_exec.py +++ b/example/ida/symbol_exec.py @@ -75,7 +75,7 @@ class symbolicexec_t(idaapi.simplecustviewer_t): def symbolic_exec(): - from miasm2.ir.symbexec import symbexec + from miasm2.ir.symbexec import SymbolicExecutionEngine from miasm2.core.bin_stream_ida import bin_stream_ida from utils import guess_machine @@ -93,7 +93,7 @@ def symbolic_exec(): ira.add_bloc(bloc) print "Run symbolic execution..." - sb = symbexec(ira, machine.mn.regs.regs_init) + sb = SymbolicExecutionEngine(ira, machine.mn.regs.regs_init) sb.emul_ir_blocks(start) modified = {} |