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 ✓