about summary refs log tree commit diff stats
path: root/focaccia.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Migrate to nix flakes, uv and pyproject toml for buildsTheofilos Augoustis2025-08-271-222/+0
|
* Rework Focaccia's command line interfaceTheofilos Augoustis2024-02-221-61/+128
|
* Basic reproducer generator setupTheofilos Augoustis2024-02-021-8/+46
| | | | | Co-authored-by: Alp Berkman <alp.berkman@no-reply.com> Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com>
* Extract matching algorithms into a moduleTheofilos Augoustis2024-02-071-39/+3
| | | | | | | | We have: - Trace folding: Resolve mismatches in snapshot granularity - Trace matching: Resolve mismatches in program flow
* Refactor comparison and user-facing logicTheofilos Augoustis2024-01-241-45/+45
| | | | | Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Refactor symbolic transformation handlingTheofilos Augoustis2024-01-171-38/+4
|
* Refactor project structureTheofilos Augoustis2023-12-311-0/+187
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.