diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-12-26 00:03:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-26 00:03:54 +0100 |
| commit | 1673c3eb29d88cbd7b642419c197fa0993ca5871 (patch) | |
| tree | b5489af2d481c9db7f3c530d3b1634031cfbd4d5 /test/arch/msp430/sem.py | |
| parent | 931a7d95bf48ec35b9c69b4e22b890f512164a9b (diff) | |
| parent | 1d95a7febaee8c53df432cdbf1539f6f58a4d5d9 (diff) | |
| download | miasm-1673c3eb29d88cbd7b642419c197fa0993ca5871.tar.gz miasm-1673c3eb29d88cbd7b642419c197fa0993ca5871.zip | |
Merge pull request #1335 from serpilliere/rename_ir_arch
Rename ir arch
Diffstat (limited to 'test/arch/msp430/sem.py')
| -rwxr-xr-x | test/arch/msp430/sem.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/arch/msp430/sem.py b/test/arch/msp430/sem.py index e47c6f30..51a2c540 100755 --- a/test/arch/msp430/sem.py +++ b/test/arch/msp430/sem.py @@ -9,14 +9,14 @@ from future.utils import viewitems from miasm.ir.symbexec import SymbolicExecutionEngine from miasm.arch.msp430.arch import mn_msp430 as mn, mode_msp430 as mode -from miasm.arch.msp430.sem import Lifter_MSP430 as ir_arch +from miasm.arch.msp430.sem import Lifter_MSP430 as Lifter from miasm.arch.msp430.regs import * from miasm.expression.expression import * from miasm.core.locationdb import LocationDB logging.getLogger('cpuhelper').setLevel(logging.ERROR) loc_db = LocationDB() -EXCLUDE_REGS = set([res, ir_arch(loc_db).IRDst]) +EXCLUDE_REGS = set([res, Lifter(loc_db).IRDst]) def M(addr): @@ -27,14 +27,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, mode) code = mn.asm(instr)[0] instr = mn.dis(code, mode) instr.offset = inputstate.get(PC, 0) - loc_key = ir_tmp.add_instr_to_ircfg(instr, ircfg) + loc_key = lifter.add_instr_to_ircfg(instr, ircfg) symexec.run_at(ircfg, loc_key) if debug: for k, v in viewitems(symexec.symbols): |