From 1b534d9ad543473f12ddcb631e0cddb0cbd54ff4 Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Tue, 3 Oct 2017 17:20:38 +0200 Subject: Symbexec: use hashtable for mem symbols --- test/arch/arm/sem.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/arch/arm/sem.py') diff --git a/test/arch/arm/sem.py b/test/arch/arm/sem.py index 01c536cd..1b14214e 100755 --- a/test/arch/arm/sem.py +++ b/test/arch/arm/sem.py @@ -29,7 +29,7 @@ def compute(asm, inputstate={}, debug=False): instr = mn.dis(code, "l") instr.offset = inputstate.get(PC, 0) interm.add_instr(instr) - symexec.emul_ir_blocks(instr.offset) + symexec.run_at(instr.offset) if debug: for k, v in symexec.symbols.items(): if regs_init.get(k, None) != v: -- cgit 1.4.1