klee/klee
KLEE Symbolic Execution Engine observed · 2026-08-28
Health v2 · maintenance only
75/100
- Activity 98
- Release rhythm 30
- Longevity 100
Flags: no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 4791
- days_rel: 253
- days_push: 12
- n_releases_24m: 1
Adoption not part of the score
2974 stars · 736 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
KLEE is a dynamic symbolic execution engine and symbolic virtual machine built on LLVM, which executes programs with symbolic inputs to automatically generate high-coverage test cases and find bugs. It includes a POSIX/Linux emulation layer, constraint solving, and auxiliary tools for replaying and analyzing generated test inputs.
Use cases
- automatically generate high-coverage test cases for C programs
- find memory corruption and integer overflow bugs in C/C++ code
- symbolically execute LLVM bitcode to explore program paths
- test GNU coreutils-style command-line programs with symbolic arguments and files
- verify program properties using constraint solving
- research on symbolic execution and program analysis
When to choose
- you need automated test generation or bug finding for C/C++ programs compiled to LLVM bitcode
- you want to explore many execution paths without writing concrete inputs
- you are doing academic research on symbolic execution
- you need to test programs with symbolic files, arguments, or environment variables
When to avoid
- you need to test interpreted or managed languages not compiled to LLVM bitcode
- you want lightweight fuzzing without constraint solving overhead
- your codebase cannot be compiled with clang/LLVM
- you need Windows-native execution support
Facets
cli-tool · maturity active
testing fuzzing interpreter developer-tools testing developer-tools cpp bsd symbolic-execution llvm smt-solver program-analysis test-generation formal-verification algorithms linux macos docker
10 sources
- readme: https://github.com/klee/klee · fetched 2026-08-28 · 69810a94538b
- homepage: https://klee-se.org/ · fetched 2026-08-29 · 22ea8b80d421
- site_page: https://klee-se.org/getting-started · fetched 2026-08-29 · f835acaded24
- site_page: https://klee-se.org/docs · fetched 2026-08-29 · 900e5c0472dc
- site_page: https://klee-se.org/docs/intrinsics · fetched 2026-08-29 · f379ff40919a
- site_page: https://klee-se.org/docs/options · fetched 2026-08-29 · a9077b2991aa
- site_page: https://klee-se.org/docs/tools · fetched 2026-08-29 · ed6b5800d64e
- site_page: https://klee-se.org/docs/developers-guide · fetched 2026-08-29 · 273b74d9ac2d
- site_page: https://klee-se.org/releases · fetched 2026-08-29 · 75c7e9a72a1c
- site_page: https://klee-se.org/publications · fetched 2026-08-29 · 827336dd5530
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| klee/klee | main | 75 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem