diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-06-18 09:27:45 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-06-19 16:42:46 +0200 |
| commit | f1b32ba2b8db22a5f92a2734af55e9a5dba2271e (patch) | |
| tree | 92facadca71fc07d7760c60d2ca877774c73579b /miasm2/ir/symbexec.py | |
| parent | 8f5ca332780cf9e08761060e9903bc085dbc8430 (diff) | |
| download | miasm-f1b32ba2b8db22a5f92a2734af55e9a5dba2271e.tar.gz miasm-f1b32ba2b8db22a5f92a2734af55e9a5dba2271e.zip | |
Example/ida: use addr to guess arch
Some arch like ARM depends on address in order to determine which attributes have to be used during analysis
Diffstat (limited to '')
| -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): """ |