KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE . - View it on GitHub