kleesymex

Two more days (Friday, 24th April) until the early submission deadline!

Delighted to announce the 5th International KLEE Workshop on Symbolic Execution (KLEE 2026), co-located with ASE 2026 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/rele… klee-se.org/publications/

Slides and talks from the KLEE 2024 workshop in Lisbon are now available! Thanks again to all of our speakers! srg.doc.ic.ac.uk/klee24/keynote… srg.doc.ic.ac.uk/klee24/accepte…

Excellent keynote from @Tomasz_Kuchta at the @kleesymex workshop this year, do check it out!

Interested to hear a few thoughts on how to help make symbolic execution mainstream and how Academia/Industry perspectives matter? Check out a keynote I gave at KLEE'24 workshop: youtu.be/rQGB_fk253g

Another wonderful KLEE workshop coming to an end this year. Big thanks again to our keynote speakers Corina Pasareanu, @TevfikBultan and @Tomasz_Kuchta and all the presenters and participants for making it a success!

Cristian Cadar is concluding the Fourth International KLEE Workshop on Symbolic Execution

The last technical talk of the workshop is about Concretely Mapped Symbolic Memory Locations for Memory Error Detection, presented by Haoxin Tu

The first talk of the last session is An Efficient Black-box Support of Advanced Coverage Criteria for KLEE presented by Delphine Longuet

Martin Nowack is presenting Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations as the last talk of the third session of the day.

Eric Lu is presenting Deferring Branches to Speed Up Symbolic Execution at the Fourth International KLEE Workshop on Symbolic Execution right now.

Now up: Rohan Gangaraju presenting his work Accelerating Symbolic Execution by Targeted Control-flow Transformations

The third session of the second day begins with Dairo de Ruck and Find Your Path: SoK on Path Selection Strategies in Symbolic Execution

The third and final keynote of the Fourth International KLEE Workshop on Symbolic Execution is titled "Symbolic PathFinder: Symbolic Execution for Java" and is presented by Corina Pasareanu right now.

Now, Sergey Mechtaev presents Program Repair Guided by Datalog-defined Static Analysis

Ridwan Salihin Shariffdeen opens the second session of the day with Concolic Program Repair

Nicky Mouha concludes the first session of the second day by telling us about How the SHA-3 Buffer Overflow Was Found using KLEE

Alessandro Orso is now presenting Automating Differential Testing with Over-approximate Symbolic Execution

The second talk of the day is given by Juan Manuel Copia and deals with Precise Lazy Initialization for Programs with Complex Heap Inputs