PrototypeCommon
ise-uiuc/KNighter
[SOSP'25] Automatic checker synthesis for system-level static analysis
- Owner
- ise-uiuc (organization)
- Stars
- Stars: 190
- Forks
- Forks: 28
- Language
- C++
- License
- Apache-2.0
- Created
- 2025
- Topics
- linuxllm-agentstatic-analysis
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ise-uiuc
All 5 repos by ise-uiuc- ise-uiuc/magicoderStars: 2,097PythonRC
- ise-uiuc/KernelGPTStars: 183C++Prototype
- ise-uiuc/nnsmithStars: 149PythonPrototype
- ise-uiuc/RepilotStars: 138PythonPrototype
Nearby in C++
All C++ repos- LevinAi-arch/rtx-5070ti-laptop-160w-power-limitStars: 190C++Prototype
- DevL0rd/KonveyorStars: 190C++Prototype
- Shagg88/AthelasStars: 190C++Prototype
- dbzhang800/QtOpenCVStars: 190C++Prototype
- jdart1/arasan-chessStars: 190C++Prototype
- dawonn/vectornavStars: 190C++Prototype