diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-02-07 15:06:56 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-02-07 15:06:56 +0100 |
| commit | c6503a3ddcce2fdefc5c93c6901f26c761ae859b (patch) | |
| tree | 542319cb1998c5cf412538e47c380366b02cd6ff /README.md | |
| parent | 6471febedbdf5d0b4d14d75eafcf75ae48022c61 (diff) | |
| download | focaccia-c6503a3ddcce2fdefc5c93c6901f26c761ae859b.tar.gz focaccia-c6503a3ddcce2fdefc5c93c6901f26c761ae859b.zip | |
Extract matching algorithms into a module
We have: - Trace folding: Resolve mismatches in snapshot granularity - Trace matching: Resolve mismatches in program flow
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md index 82918b0..5c14d91 100644 --- a/README.md +++ b/README.md @@ -65,4 +65,6 @@ and concrete parts together into "concolic" execution. - `focaccia/parser.py`: Utilities for parsing logs from Arancini and QEMU, as well as serializing/deserializing to/from our own log format. + - `focaccia/match.py`: Algorithms for trace matching. + - `miasm_test.py`: A test script that traces a program concolically. |