llvm opt fuzzer and bounded exhaustive test generator - View it on GitHub