Alex Von Hoene

Some of the external tutorials have pretty decent brief descriptions of what KLEE is and does. They're good examples of what I think should be on [http://klee.github.io/](http://klee.github.io/) - [Symbolic Execution...

Nearly all of the tutorials and examples are about using KLEE to study C code compiled by Clang. I was starting to wonder if this was the only LLVM frontend...