diff options
Diffstat (limited to 'miasm2/ir')
| -rw-r--r-- | miasm2/ir/symbexec.py | 10 | ||||
| -rw-r--r-- | miasm2/ir/translators/C.py | 5 |
2 files changed, 3 insertions, 12 deletions
diff --git a/miasm2/ir/symbexec.py b/miasm2/ir/symbexec.py index 7ee55f97..c75bd9e8 100644 --- a/miasm2/ir/symbexec.py +++ b/miasm2/ir/symbexec.py @@ -1050,15 +1050,7 @@ class SymbolicExecutionEngine(object): print '_' * 80 dst = self.eval_expr(self.ir_arch.IRDst) - # Best effort to resolve destination as ExprLoc - if dst.is_loc(): - ret = dst - elif dst.is_int(): - label = self.ir_arch.symbol_pool.getby_offset_create(int(dst)) - ret = ExprLoc(label, dst.size) - else: - ret = dst - return ret + return dst def run_block_at(self, addr, step=False): """ diff --git a/miasm2/ir/translators/C.py b/miasm2/ir/translators/C.py index 2f354d47..b7821e85 100644 --- a/miasm2/ir/translators/C.py +++ b/miasm2/ir/translators/C.py @@ -56,10 +56,9 @@ class TranslatorC(Translator): return str(loc_key) offset = self.symbol_pool.loc_key_to_offset(loc_key) - name = self.symbol_pool.loc_key_to_name(loc_key) - if offset is None: - return name + return str(loc_key) + return "0x%x" % offset def from_ExprAff(self, expr): |