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
Apr 4, 2024 4:21am		0	VERSION_BUMP	75863ca6
Jan 6, 2024 1:30am		2	VERSION_BUMP	b3141519
Jan 3, 2024 9:07pm		2	VERSION_BUMP	7f67a5a0
Jan 3, 2024 12:00pm		2	VERSION_BUMP	f36c043b
Dec 28, 2023 8:59pm		1	VERSION_BUMP	eefdfd68
Nov 15, 2023 10:34pm		1	VERSION_BUMP	cf75daad