KLEE

Version 3.1

The 4th International KLEE Workshop on Symbolic Execution is coming!
Join us from 15–16 April 2024 in Lisbon!

Getting Started

Getting Started with KLEE

Web Interface

Run tiny code examples in your browser with KLEE web.

Docker

Our Docker images are one of the fastest ways to get started.

Installation via Package Manager

Manual Installation