diff options
| author | Camille Mougey <commial@gmail.com> | 2018-06-19 17:53:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-19 17:53:45 +0200 |
| commit | 0adddb12a7410c4bbdd6ee79252e9bf05ca22818 (patch) | |
| tree | 92facadca71fc07d7760c60d2ca877774c73579b /miasm2/ir/symbexec.py | |
| parent | 8f5ca332780cf9e08761060e9903bc085dbc8430 (diff) | |
| parent | f1b32ba2b8db22a5f92a2734af55e9a5dba2271e (diff) | |
| download | miasm-0adddb12a7410c4bbdd6ee79252e9bf05ca22818.tar.gz miasm-0adddb12a7410c4bbdd6ee79252e9bf05ca22818.zip | |
Merge pull request #770 from serpilliere/ida_guess_machine_addr
Example/ida: use addr to guess arch
Diffstat (limited to 'miasm2/ir/symbexec.py')
| -rw-r--r-- | miasm2/ir/symbexec.py | 10 |
1 files changed, 1 insertions, 9 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): """ |