Delighted to announce the 5th International KLEE Workshop on Symbolic Execution (KLEE 2026), co-located with ASE 2026 @aseconf.bsky.social in Munich, Germany! The workshop dates are 15-16 October 2026, and the calls for presentations and posters are already up! srg.doc.ic.ac.uk/klee26/

KLEE 3.2 is released! Many thanks to all the contributors to the main codebase and subprojects! During the development of this release, the number of projects and publications enabled by KLEE surpassed 300! github.com/klee/klee/re... klee-se.org/publications/

Release KLEE 3.2 · klee/klee

KLEE 3.2, 23 December 2025 Incorporating changes from 1 March 2024 to 23 December 2025. Maintainers during this time span: @ccadar, @MartinNowack, @251, @danielschemmel Documentation at https://kle...

github.com