KLEE
A symbolic execution engine for LLVM bitcode. The entries run it under its symbolic-argument harness, with fixed options or with options sampled uniformly from SymTuner's parameter space.
Terms
- Release
- A dated snapshot of the data, named like 2026.1. It never changes; corrections go into the next release.
- Entry
- A tool in one version and configuration, with a model, a track and a budget. One row of the data.
- Superseded
- An entry that a newer one replaces. It stays in the release and shows under all versions.
- Withdrawn
- An entry taken out of the comparison after it was published.
Project: github.com/klee/klee
Versions
| Entry | Version | Model | Configuration | Submitted | First release | Programs covered | Status |
|---|---|---|---|---|---|---|---|
| KLEE fixed options, 6 cores | efa1e052 | – | fixed options, default search; symbolic-argument harness; six workers | 2026-10-16 | 2026.1 | 18 of 18 | current |
| KLEE uniform options, 6 cores | efa1e052 | – | options sampled uniformly from SymTuner's parameter space; symbolic-argument harness; six workers | 2026-10-16 | 2026.1 | 18 of 18 | current |
| KLEE fixed options, 1 core | efa1e052 | – | fixed options, default search; symbolic-argument harness; one worker | 2026-10-16 | 2026.1 | 18 of 18 | current |
| KLEE uniform options, 1 core | efa1e052 | – | options sampled uniformly from SymTuner's parameter space; symbolic-argument harness; one worker | 2026-10-16 | 2026.1 | 18 of 18 | current |
Median coverage by version
| Program | KLEE fixed options6 coresefa1e0522026-10-16 | KLEE uniform options6 coresefa1e0522026-10-16 |
|---|---|---|
| bc | 22.4%, 3 runs | 27.4%, 3 runs |
| Confetti | 32.3%, 3 runs | 40.7%, 3 runs |
| diff | 21.4%, 3 runs | 31.9%, 3 runs |
| du | 14.5%, 3 runs | 18.0%, 3 runs |
| gawk | 10.1%, 3 runs | 23.8%, 3 runs |
| gcal | 22.6%, 3 runs | 43.4%, 3 runs |
| grep | 36.2%, 3 runs | 47.8%, 3 runs |
| gzip | 35.6%, 3 runs | 46.4%, 3 runs |
| jq | 8.6%, 3 runs | 13.4%, 3 runs |
| Krep | 47.1%, 3 runs | 55.0%, 3 runs |
| Libmatheval | 24.7%, 3 runs | 44.5%, 3 runs |
| LibYAML | 41.0%, 3 runs | 52.5%, 3 runs |
| ls | 28.8%, 3 runs | 39.6%, 3 runs |
| Oggenc | 17.7%, 3 runs | 29.6%, 3 runs |
| sed | 17.9%, 3 runs | 42.0%, 3 runs |
| WOFF2 | 1.4%, 3 runs | 7.6%, 3 runs |
| xmlwf | 21.6%, 3 runs | 31.9%, 3 runs |
| xorriso | 6.4%, 3 runs | 6.5%, 3 runs |