{"repo":"ise-uiuc/KNighter","free":true,"listed":false,"github":"https://github.com/ise-uiuc/KNighter","clone":"git clone https://github.com/ise-uiuc/KNighter.git","description":"[SOSP'25] Automatic checker synthesis for system-level static analysis","language":"C++","stars":186,"topics":["linux","llm-agent","static-analysis"],"license":"Apache-2.0","category":"dev-tools","readme_excerpt":"KNighter: Transforming Static Analysis with LLM-Synthesized Checkers Table of Contents - About - Getting Started - Docker Setup (Recommended) - Manual Environment Setup (Alternative) - Running KNighter - Architecture Documentation About KNighter is an innovative checker synthesis tool that leverages Large Language Models (LLMs) to automatically generate static analysis checkers from historical patch commits. Key Features - 🤖 LLM-Powered Generation : Automatically synthesizes static analysis checkers using state-of-the-art language models - 📊 Multi-step Pipeline : Employs a sophisticated generation → refinement → triage workflow for high-quality results - 🔍 Historical Learning : Learns from real-world patch commits to understand common bug patterns - ⚡ LLVM Integration : Built on top of LLVM for robust static analysis capabilities - 🐧 Linux Kernel Focus : Specialized for finding bugs in large-scale C/C++ codebases like the Linux kernel The detected bugs 🐛 can be found here. [!IMPORTANT] We are continuously improving the documentation and adding new features. Please stay tuned for updates. Getting Started Docker Setup (Recommended) 🐳 Docker Installation Options Option 1: Docker Hub (Recommended) Option 2: Build from Source 🚀 Running the Container ⚙️ Environment Initialization When running the container for the first time, initialize the environment: This downloads LLVM and Linux kernel source code into /data/llvm and /data/linux . API Key Configuration: Manual Environmen","default_branch":null,"files":null,"tree":[],"storefront":"/r/ise-uiuc","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/ise-uiuc/KNighter/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}