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 /test/ir/symbexec.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 'test/ir/symbexec.py')
| -rwxr-xr-x | test/ir/symbexec.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/ir/symbexec.py b/test/ir/symbexec.py index d627f4b9..0ab7e5a7 100755 --- a/test/ir/symbexec.py +++ b/test/ir/symbexec.py @@ -13,15 +13,15 @@ class TestSymbExec(unittest.TestCase): def test_ClassDef(self): from miasm.expression.expression import ExprInt, ExprId, ExprMem, \ ExprCompose, ExprAssign - from miasm.arch.x86.sem import ir_x86_32 + from miasm.arch.x86.sem import Lifter_X86_32 from miasm.core.locationdb import LocationDB from miasm.ir.symbexec import SymbolicExecutionEngine from miasm.ir.ir import AssignBlock loc_db = LocationDB() - ira = ir_x86_32(loc_db) - ircfg = ira.new_ircfg() + lifter_model_call = Lifter_X86_32(loc_db) + ircfg = lifter_model_call.new_ircfg() id_x = ExprId('x', 32) id_a = ExprId('a', 32) @@ -36,7 +36,7 @@ class TestSymbExec(unittest.TestCase): return id_x return super(CustomSymbExec, self).mem_read(expr) - sb = CustomSymbExec(ira, + sb = CustomSymbExec(lifter_model_call, { ExprMem(ExprInt(0x4, 32), 8): ExprInt(0x44, 8), ExprMem(ExprInt(0x5, 32), 8): ExprInt(0x33, 8), @@ -229,13 +229,13 @@ class TestSymbExec(unittest.TestCase): assert found - sb_empty = SymbolicExecutionEngine(ira) + sb_empty = SymbolicExecutionEngine(lifter_model_call) sb_empty.dump() # Test memory full print('full') - arch_addr8 = ir_x86_32(loc_db) + arch_addr8 = Lifter_X86_32(loc_db) ircfg = arch_addr8.new_ircfg() # Hack to obtain tiny address space arch_addr8.addrsize = 5 |