about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Migrate to nix flakes, uv and pyproject toml for buildsTheofilos Augoustis2025-08-272-107/+0
|
* Implement online verification of symbolic backend ta/developTheofilos Augoustis2024-10-141-0/+74
| | | | | Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
* Refactor project structureTheofilos Augoustis2023-12-311-1/+1
| | | | | | | | 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.
* Add memory storage capabilities to `ProgramState`Theofilos Augoustis2023-11-271-0/+33
The `SparseMemory` class represents a program's memory. While the user can read from and write to arbitrary memory addresses, it manages its memory in pages/chunks internally. This is a tradeoff between space consumption (this solution might have a memory overhead) and lookup speed of individual memory addresses. Add two small unit tests for `SparseMemory`.