SATySFi
SATySFi copied to clipboard
Fuzzing with American fuzzy lop (afl)
The OCaml compiler supports afl instrumentation (see Chapter 23 Fuzzing with afl-fuzz for details) and it may benefit SATySFi for finding crash bugs.