KNighter is a cutting-edge tool that utilizes Large Language Models to automatically create static analysis checkers from historical patch commits, focusing particularly on large-scale C/C++ codebases like the Linux kernel. It features a multi-step pipeline that includes generation, refinement, and triage to ensure high-quality results and integrates seamlessly with LLVM for enhanced analysis capabilities. Continuous improvements are being made to its documentation and features.
knighter ✓
static-analysis ✓
+ llvm
bug-detection ✓
docker ✓