A ground-truth fuzzing benchmark suite based on real programs with real bugs.
The following tables list the 138 bugs added to Magma, and their corresponding reports.
Raw findings (from our paper) are also available.
PoC dumps:
Raw JSON (as generated by the exp2json script):