KLEE

master branch

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

Releases

Stable releases of KLEE

Version Date Source code Docker Image Documentation
1.4.0 21 July 2017 git tag klee/klee:1.4.0 Docs
1.3.0 30 Dec 2016 git tag klee/klee:1.3.0 Docs
1.2.0 31 Mar 2016 git tag klee/klee:1.2.0 Docs
1.1.0 13 Nov 2015 git tag klee/klee:1.1.0 Docs
1.0.0 10 Aug 2015 git tag klee/klee:1.0.0 Docs