diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/README.md b/README.md index eb35d2e..6d36a61 100644 --- a/README.md +++ b/README.md @@ -26,6 +26,7 @@ Then run `guix pull`. - [afl-dyninst]: [Dyninst] integration for [AFL++] - [evocatio]: Bug analyzer for bug capability discovery +- [fuzzolic]: Concolic fuzzer ### Patching @@ -36,11 +37,17 @@ Then run `guix pull`. - [python-pacfix]: PAC-learning-based program synthesizer - [taosc]: Makeshift binary patch generator +### Theorem Proving + +- [fuzzy-sat]: Approximate solver for concolic execution + [Guix channel]: https://guix.gnu.org/manual/devel/en/html_node/Channels.html [afl-dyninst]: https://trong.loang.net/~cnx/afl-dyninst/about [Dyninst]: https://github.com/dyninst/dyninst [AFL++]: https://aflplus.plus [evocatio]: https://github.com/HexHive/Evocatio +[fuzzolic]: https://season-lab.github.io/fuzzolic [e9patch]: https://github.com/GJDuck/e9patch [python-pacfix]: https://github.com/hsh814/pacfix-python [taosc]: https://trong.loang.net/~cnx/taosc/about +[fuzzy-sat]: https://github.com/season-lab/fuzzy-sat |