https://github.com/ise-uiuc/knighter
Automatic checker synthesis for system-level static analysis
https://github.com/ise-uiuc/knighter
linux llm-agent static-analysis
Last synced: about 1 year ago
JSON representation
Automatic checker synthesis for system-level static analysis
- Host: GitHub
- URL: https://github.com/ise-uiuc/knighter
- Owner: ise-uiuc
- Created: 2025-03-07T23:12:59.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-05-13T11:58:33.000Z (about 1 year ago)
- Last Synced: 2025-06-06T00:43:18.210Z (about 1 year ago)
- Topics: linux, llm-agent, static-analysis
- Language: C++
- Homepage:
- Size: 3.33 MB
- Stars: 17
- Watchers: 2
- Forks: 2
- Open Issues: 2
-
Metadata Files:
- Readme: README-dev.md