You can find both interesting uses (esp extensions) and users on the page below: http://klee.github.io/publications/ http://klee.github.io/publications/ There

You can find both interesting uses (esp extensions) and users on the page below: http://klee.github.io/publications/ http://klee.github.io/publications/ There's a large amount of work building on KLEE. Similarly, it builds on LLVM that has its own huge ecosystem. The potential of all that together is what interests me about it.