diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-12-24 20:29:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-24 20:29:39 +0100 |
| commit | 53735e8cd23aa4bc1eed641264de3b9d18692103 (patch) | |
| tree | d00eca211174dcef32971e271f307721a1217a40 /example/symbol_exec/single_instr.py | |
| parent | 40d150d0089494d07dd5e10bc7625df41fbf3f68 (diff) | |
| parent | 73e54732e50b405762c64e0faa032e5ae0fcd1ed (diff) | |
| download | miasm-53735e8cd23aa4bc1eed641264de3b9d18692103.tar.gz miasm-53735e8cd23aa4bc1eed641264de3b9d18692103.zip | |
Merge pull request #1326 from serpilliere/rename_lifter
Rename lifter
Diffstat (limited to 'example/symbol_exec/single_instr.py')
| -rw-r--r-- | example/symbol_exec/single_instr.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index 789252df..0aabbf8b 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -21,12 +21,12 @@ mdis.lines_wd = 1 asm_block = mdis.dis_block(START_ADDR) # Translate ASM -> IR -ira = machine.ira(mdis.loc_db) -ircfg = ira.new_ircfg() -ira.add_asmblock_to_ircfg(asm_block, ircfg) +lifter_model_call = machine.lifter_model_call(mdis.loc_db) +ircfg = lifter_model_call.new_ircfg() +lifter_model_call.add_asmblock_to_ircfg(asm_block, ircfg) # Instantiate a Symbolic Execution engine with default value for registers -symb = SymbolicExecutionEngine(ira) +symb = SymbolicExecutionEngine(lifter_model_call) # Emulate one IR basic block ## Emulation of several basic blocks can be done through .emul_ir_blocks @@ -39,6 +39,6 @@ print('Modified memory (should be empty):') symb.dump(ids=False) # Check final status -eax, ebx = ira.arch.regs.EAX, ira.arch.regs.EBX +eax, ebx = lifter_model_call.arch.regs.EAX, lifter_model_call.arch.regs.EBX assert symb.symbols[eax] == ebx assert eax in symb.symbols |