The project's webpage is a more helpful starting point than the repository: <a href="https://klee-se.org/" rel="nofollow">https://klee-se.org/</a>
I discovered the Klee engine when reading The Ph.D. Grind by Philip Guo[1], it gives an idea of how its development was going at the time and this is also why I have difficulty appreciating the software, an interesting read if you want to get a feel of the academic world.<p>[1] <a href="https://archive.is/KAz4n" rel="nofollow">https://archive.is/KAz4n</a>
I used this in my software testing class. It was really cool! Although interfacing with LLVM was not very fun, I feel like I could’ve spent a lot more time learning the innards of this tool instead of fighting with llvm and C++.
Is anyone actually using symbolic execution in industry these days? I personally like it but I feel like fuzzing has completely taken over in terms of academic research at least.