diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-25 21:37:02 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-25 21:37:02 +0100 |
| commit | 972cad3a89d2856a6969328a9870a1b472cd9fd2 (patch) | |
| tree | 65687e39ab4ce446957c73d95fd5d662b49d68ed /test/arch/arm/sem.py | |
| parent | dd14b59efbd918838dcbb88c8d64bad53fcd054c (diff) | |
| download | miasm-972cad3a89d2856a6969328a9870a1b472cd9fd2.tar.gz miasm-972cad3a89d2856a6969328a9870a1b472cd9fd2.zip | |
Rename examples lifter
Diffstat (limited to 'test/arch/arm/sem.py')
| -rwxr-xr-x | test/arch/arm/sem.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/arch/arm/sem.py b/test/arch/arm/sem.py index 1dca9a6b..a5b6d5eb 100755 --- a/test/arch/arm/sem.py +++ b/test/arch/arm/sem.py @@ -9,7 +9,7 @@ from future.utils import viewitems from miasm.ir.symbexec import SymbolicExecutionEngine from miasm.arch.arm.arch import mn_arm as mn -from miasm.arch.arm.sem import Lifter_Arml as ir_arch +from miasm.arch.arm.sem import Lifter_Arml as Lifter from miasm.arch.arm.regs import * from miasm.expression.expression import * from miasm.core.locationdb import LocationDB @@ -17,7 +17,7 @@ from pdb import pm logging.getLogger('cpuhelper').setLevel(logging.ERROR) loc_db = LocationDB() -EXCLUDE_REGS = set([ir_arch(loc_db).IRDst]) +EXCLUDE_REGS = set([Lifter(loc_db).IRDst]) def M(addr): @@ -28,14 +28,14 @@ def compute(asm, inputstate={}, debug=False): loc_db = LocationDB() sympool = dict(regs_init) sympool.update({k: ExprInt(v, k.size) for k, v in viewitems(inputstate)}) - ir_tmp = ir_arch(loc_db) - ircfg = ir_tmp.new_ircfg() - symexec = SymbolicExecutionEngine(ir_tmp, sympool) + lifter = Lifter(loc_db) + ircfg = lifter.new_ircfg() + symexec = SymbolicExecutionEngine(lifter, sympool) instr = mn.fromstring(asm, loc_db, "l") code = mn.asm(instr)[0] instr = mn.dis(code, "l") instr.offset = inputstate.get(PC, 0) - lbl = ir_tmp.add_instr_to_ircfg(instr, ircfg) + lbl = lifter.add_instr_to_ircfg(instr, ircfg) symexec.run_at(ircfg, lbl) if debug: for k, v in viewitems(symexec.symbols): |