diff options
| -rw-r--r-- | miasm2/ir/symbexec.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/miasm2/ir/symbexec.py b/miasm2/ir/symbexec.py index 33d0f8bd..f9444424 100644 --- a/miasm2/ir/symbexec.py +++ b/miasm2/ir/symbexec.py @@ -504,6 +504,13 @@ class SymbolicExecutionEngine(object): return ret + def as_assignblock(self): + """Return the current state as an AssignBlock""" + return AssignBlock({ + dst: self.symbols[dst] for dst in self.modified() + }) + + class symbexec(SymbolicExecutionEngine): """ DEPRECATED object |