4 ms·KLEE: Symbolic VM based on LLVM that finds bugs and generates test cases1 points by spicyj 17y ago