Klee: automated fuzzing and error finding via LLVM | Hacker News Reader