| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Refactor project structure | Theofilos Augoustis | 2023-12-31 | 1 | -38/+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. | ||||
| * | Implement interpreter for symbolic expressions | Theofilos Augoustis | 2023-11-10 | 1 | -0/+22 |
| | | |||||
| * | Refactor file structure | Theofilos Augoustis | 2023-10-11 | 1 | -2/+0 |
| | | | | | | | | | | | | | | | | | | - main.py: focaccia user-interface - snapshot.py: state trace snapshots handling - compare.py: snapshot comparison algorithms - run.py: native execution tracer - arancini.py: Arancini log handling - arch/: per-architecture abstractions Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com> | ||||
| * | Add development scripts for comparing Arancini dumps | Theofilos Augoustis | 2023-07-12 | 1 | -0/+18 |