master branch

The 1st International KLEE Workshop on Symbolic Execution is coming! Join us from 19-20 April 2018 in London.


KLEE Open Projects

This page lists a variety of open projects that are natural (and tractable) extensions of KLEE and things that we would love to see people work on. If you are interested in tackling any of the projects, please mail klee-dev with your ideas – or even better, your patches!