KLEE

klee.github.iosite

A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

similar

1. ▲

   kcl github.com

   A constraint-based record & functional language mainly used in configuration and policy scenarios.

   tool link ↗
   
2. ▲

   Kilo kilo.ai

   Open-source AI coding assistant for VS Code, JetBrains, and the CLI. #opensource

   site topic aitopic programming link ↗
   
3. ▲

   Kaitai Struct kaitai.io

   A declarative language to describe various binary data structures and a compiler to generate C++ parser code. [GPLv3+][MIT][Apache2]

   site topic programming link ↗
   site
4. ▲

   Lazy K tromp.github.io

   Minimal, turing-complete pure functional language without extra features.

   site link ↗
   site
5. ▲

   kibit github.com

   Static code analyzer to find patterns of code that could be rewritten with a more idiomatic function or macro.

   tool link ↗
   
6. ▲

   Checker Framework types.cs.washington.edu

   Compiler plug-ins that find bugs or verify their absence.

   site topic programming link ↗
   site

Static Analysis & Code Quality › Programming Languages: “A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.”