diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-12-11 14:26:23 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-06-08 17:35:05 +0200 |
| commit | a2637cdf0b40df074865d23a7fd71f082ad7f40a (patch) | |
| tree | f6c958ca8481e6e29760078e5d1bdc2d2b64da53 /test/arch/arm/sem.py | |
| parent | dadfaabc3fff5edb9bf4ef7e7e8c4cfc4baccb94 (diff) | |
| download | focaccia-miasm-a2637cdf0b40df074865d23a7fd71f082ad7f40a.tar.gz focaccia-miasm-a2637cdf0b40df074865d23a7fd71f082ad7f40a.zip | |
Expr: Add new word ExprLoc
This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
Diffstat (limited to 'test/arch/arm/sem.py')
| -rwxr-xr-x | test/arch/arm/sem.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/arch/arm/sem.py b/test/arch/arm/sem.py index d9e6aa76..05d26f5c 100755 --- a/test/arch/arm/sem.py +++ b/test/arch/arm/sem.py @@ -30,8 +30,8 @@ def compute(asm, inputstate={}, debug=False): code = mn.asm(instr)[0] instr = mn.dis(code, "l") instr.offset = inputstate.get(PC, 0) - interm.add_instr(instr) - symexec.run_at(instr.offset) + lbl = interm.add_instr(instr) + symexec.run_at(lbl) if debug: for k, v in symexec.symbols.items(): if regs_init.get(k, None) != v: |