diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-12-07 23:39:35 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-12-07 23:39:35 +0100 |
| commit | 0cf4f736fd5d7cd99f00d6c5896af9a608d2df8b (patch) | |
| tree | da605cad6f2afe01acadc04df2088e0952d9e6e2 /snapshot.py | |
| parent | ffcae80c2167f271a7d733d424fbd72db8c98a93 (diff) | |
| download | focaccia-0cf4f736fd5d7cd99f00d6c5896af9a608d2df8b.tar.gz focaccia-0cf4f736fd5d7cd99f00d6c5896af9a608d2df8b.zip | |
Replace symbolic execution tools with Miasm
Refactor SymbolicTransform interface a bit to include transformations of memory content. Implement it for Miasm as a backend. Move all symbolic execution things out of the test script (`miasm_test.py`) and move them to `symbolic.py` to replace the angr-based algorithms.
Diffstat (limited to 'snapshot.py')
0 files changed, 0 insertions, 0 deletions