diff options
Diffstat (limited to 'example/symbol_exec')
| -rw-r--r-- | example/symbol_exec/depgraph.py | 4 | ||||
| -rw-r--r-- | example/symbol_exec/single_instr.py | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/example/symbol_exec/depgraph.py b/example/symbol_exec/depgraph.py index 56ca3f82..4d518cb3 100644 --- a/example/symbol_exec/depgraph.py +++ b/example/symbol_exec/depgraph.py @@ -59,11 +59,11 @@ if args.rename_args: init_ctx[e_mem] = ExprId("arg%d" % i) # Disassemble the targeted function -blocks = mdis.dis_multibloc(int(args.func_addr, 0)) +blocks = mdis.dis_multiblock(int(args.func_addr, 0)) # Generate IR for block in blocks: - ir_arch.add_bloc(block) + ir_arch.add_block(block) # Get the instance dg = DependencyGraph(ir_arch, implicit=args.implicit, diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index c31de738..263c0252 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -14,11 +14,11 @@ asm = machine.mn.asm(line)[0] # Get back block bin_stream = bin_stream_str(asm) mdis = machine.dis_engine(bin_stream) -asm_block = mdis.dis_bloc(START_ADDR) +asm_block = mdis.dis_block(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, ... |