KLEE

Version 1.3.0

Projects

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!