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/ida/symbol_exec.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/ida/symbol_exec.py')
| -rw-r--r-- | example/ida/symbol_exec.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/example/ida/symbol_exec.py b/example/ida/symbol_exec.py index b51ef9ee..ef5db082 100644 --- a/example/ida/symbol_exec.py +++ b/example/ida/symbol_exec.py @@ -150,11 +150,11 @@ def symbolic_exec(): mdis.dont_dis = [end] asmcfg = mdis.dis_multiblock(start) - ira = machine.ira(loc_db=loc_db) - ircfg = ira.new_ircfg_from_asmcfg(asmcfg) + lifter_model_call = machine.lifter_model_call(loc_db=loc_db) + ircfg = lifter_model_call.new_ircfg_from_asmcfg(asmcfg) print("Run symbolic execution...") - sb = SymbolicExecutionEngine(ira, machine.mn.regs.regs_init) + sb = SymbolicExecutionEngine(lifter_model_call, machine.mn.regs.regs_init) sb.run_at(ircfg, start) modified = {} |