diff options
| author | Ajax <commial@gmail.com> | 2017-05-09 13:53:19 +0200 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2017-05-09 16:35:26 +0200 |
| commit | a66957dc88b9b0c45a36c374f6e1c31d97379f70 (patch) | |
| tree | 528c8958b32fd55a8465cccedd06a77d26fda6c6 /miasm2/ir/symbexec.py | |
| parent | 03063d96a950101a9fdf5a4c42eec81450b5c4b7 (diff) | |
| download | miasm-a66957dc88b9b0c45a36c374f6e1c31d97379f70.tar.gz miasm-a66957dc88b9b0c45a36c374f6e1c31d97379f70.zip | |
Add .as_assignblock() for SymbolicExecutionEngine
Diffstat (limited to '')
| -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 |