KLEE: Symbolic VM based on LLVM that finds bugs and generates test casesllvm.org1 pointspicyj17 years ago