diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-12-31 18:29:31 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-12-31 18:29:31 +0100 |
| commit | eae0b3b08bd078ad2f621ce2ef201e656da3f16a (patch) | |
| tree | eb93252f39543c46146297264ff548d9925178e0 /test | |
| parent | d26ae0a7d583da5034cd6271f953b6253119ceae (diff) | |
| download | focaccia-eae0b3b08bd078ad2f621ce2ef201e656da3f16a.tar.gz focaccia-eae0b3b08bd078ad2f621ce2ef201e656da3f16a.zip | |
Refactor project structure
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.
Diffstat (limited to 'test')
| -rw-r--r-- | test/test_sparse_memory.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/test_sparse_memory.py b/test/test_sparse_memory.py index 87b4456..4fd9cba 100644 --- a/test/test_sparse_memory.py +++ b/test/test_sparse_memory.py @@ -1,6 +1,6 @@ import unittest -from snapshot import SparseMemory, MemoryAccessError +from focaccia.snapshot import SparseMemory, MemoryAccessError class TestSparseMemory(unittest.TestCase): def test_oob_read(self): |