This repository has been archived by the owner on Mar 11, 2019. It is now read-only.
Contains support for AFL-fuzz, Crest, CPAtiger, FShell, Klee, and a simple random input generator that is part of this project.
It is possible to validate generated test cases using test case execution or potential witness validation with CPAchecker.
Witness validation using CPA-w2t, FShell-w2t and UAutomizer is experimental.