by ise-uiuc · Agent Tool · ★ 167
[SOSP'25] Automatic checker synthesis for system-level static analysis
| Stars | 167 |
| Forks | 19 |
| Language | C++ |
| Category | Agent Tool |
| License | Apache-2.0 |
| Quality Score | 38.25/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.