From d8cbc059655bd275b5e178b2339b931d9f0b126a Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Tue, 14 Feb 2017 15:33:17 +0100 Subject: IR/Symbexec: rename symbexec to SymbolicExecutionEngine --- example/symbol_exec/single_instr.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'example/symbol_exec/single_instr.py') diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index 365a17ec..3e418e5a 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -1,6 +1,6 @@ # Minimalist Symbol Exec example from miasm2.core.bin_stream import bin_stream_str -from miasm2.ir.symbexec import symbexec +from miasm2.ir.symbexec import SymbolicExecutionEngine from miasm2.analysis.machine import Machine START_ADDR = 0 @@ -23,7 +23,7 @@ ira.add_bloc(asm_block) # Instanciate a Symbolic Execution engine with default value for registers ## EAX = EAX_init, ... symbols_init = ira.arch.regs.regs_init -symb = symbexec(ira, symbols_init) +symb = SymbolicExecutionEngine(ira, symbols_init) # Emulate one IR basic block ## Emulation of several basic blocks can be done through .emul_ir_blocks -- cgit 1.4.1