KLEE

master branch

The 3rd International KLEE Workshop on Symbolic Execution is coming!
Join us from 15–16 September 2022 in London or online!

Releases

Stable releases of KLEE

Version Date Source code Docker Image Documentation
2.3 4 Apr 2022 git tag klee/klee:2.3 Docs
2.2 7 Dec 2020 git tag klee/klee:2.2 Docs
2.1 3 Mar 2020 git tag klee/klee:2.1 Docs
2.0 19 Mar 2019 git tag klee/klee:2.0 Docs
1.4.0 21 Jul 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