diff options
Diffstat (limited to 'example/symbol_exec/single_instr.py')
| -rw-r--r-- | example/symbol_exec/single_instr.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index c31de738..1d520d3a 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -18,7 +18,7 @@ asm_block = mdis.dis_bloc(START_ADDR) # Translate ASM -> IR ira = machine.ira(mdis.symbol_pool) -ira.add_bloc(asm_block) +ira.add_block(asm_block) # Instanciate a Symbolic Execution engine with default value for registers ## EAX = EAX_init, ... |