ise-uiuc/KNighter

[SOSP'25] Automatic checker synthesis for system-level static analysis

语言：C++ · GitHub 星标：190 · Fork：28

话题：linux · llm-agent · static-analysis

在 GitHub 上查看原仓库