klee ☆

« Back to VersTracker

Description:
Symbolic Execution Engine

Type: Formula | Latest Version: 3.1@5 | Tracked Since: Dec 23, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: symbolic-execution testing analysis security llvm

Install: brew install klee

About:
KLEE is a symbolic execution engine that automatically generates test inputs to achieve high code coverage and find bugs. It executes programs with symbolic inputs instead of concrete values, exploring all possible execution paths to uncover edge cases and vulnerabilities. This makes it a powerful tool for improving software reliability and security.

Key Features:

Automatic test case generation
Path exploration via symbolic execution
Bug finding and vulnerability detection
LLVM-based analysis

Use Cases:

Unit testing with high code coverage
Security vulnerability analysis
Bug finding in C/C++ programs

Alternatives:

Angr – Angr is a binary analysis framework with symbolic execution, while KLEE focuses on source-level analysis via LLVM
S2E – S2E is a whole-system symbolic execution platform, whereas KLEE operates at the application level

Version History

Detected	Version	Rev	Change	Commit
Dec 23, 2025 1:25pm	3.1	5	VERSION_BUMP	83e2d4f0
Sep 18, 2025 3:20am		4	VERSION_BUMP	82daf7c7
Oct 22, 2024 12:01am		1	VERSION_BUMP	b72e3a6a