about summary refs log tree commit diff stats
path: root/parser.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Refactor project structureTheofilos Augoustis2023-12-311-156/+0
| | | | | | | | Read concrete state on demand during concolic exec During concolic tracing, don't record full program snapshots at each basic block, but instead read concrete values directly from the concrete target when they are needed.
* Refactor parser.py (for gdb integration)Theofilos Augoustis2023-12-261-25/+56
| | | | | Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Improve SparseMemory.write_memory performanceTheofilos Augoustis2023-12-261-2/+3
| | | | Reduce overhead of handling sparse memory
* Implement symbolic comparison and match traces via MiasmTheofilos Augoustis2023-12-141-0/+124
Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>