diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-06-06 15:04:16 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-06-14 09:57:12 +0200 |
| commit | cc20c7ff0680986a63bbed3bd644bf9d3a5ef3ab (patch) | |
| tree | 08ea46284351fef15c0403ff2c119150815134ba /miasm2/ir/symbexec.py | |
| parent | 10888115aa12ecab6354c3cadddebae981ae9671 (diff) | |
| download | miasm-cc20c7ff0680986a63bbed3bd644bf9d3a5ef3ab.tar.gz miasm-cc20c7ff0680986a63bbed3bd644bf9d3a5ef3ab.zip | |
Symbexec: fix expr lookup
Diffstat (limited to '')
| -rw-r--r-- | miasm2/ir/symbexec.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/miasm2/ir/symbexec.py b/miasm2/ir/symbexec.py index 55335504..e98744c0 100644 --- a/miasm2/ir/symbexec.py +++ b/miasm2/ir/symbexec.py @@ -268,6 +268,8 @@ class SymbolicExecutionEngine(object): 2. simplify """ + expr = self.expr_simp(expr) + #print '\t'*level, "Eval:", expr if expr in cache: ret = cache[expr] |