diff options
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. |