by ise-uiuc · Agent Tool · ★ 167
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.
| Stars | 167 |
| Forks | 19 |
| Language | C++ |
| Category | Agent Tool |
| License | Apache-2.0 |
| Quality Score | 71.791175196575/100 |
| Open Issues | 5 |
| Last Updated | 2025-10-26 |
| Created | 2025-03-07 |
| Est. Tokens | ~1815k |
Explore other popular agent tool tools:
KNighter is [SOSP'25] Automatic checker synthesis for system-level static analysis. It is categorized as a Agent Tool with 167 GitHub stars.
KNighter is primarily written in C++. It covers topics such as linux, llm-agent, static-analysis.
You can find installation instructions and usage details in the KNighter GitHub repository at github.com/ise-uiuc/KNighter. The project has 167 stars and 19 forks, indicating an active community.
KNighter is released under the Apache-2.0 license, making it free to use and modify according to the license terms.