基于大模型驱动的静态分析

AutoChecker 平台

AutoChecker 利用大模型自动生成静态分析检查器,支持直接在浏览器中体验生成、测试和流程可视化。

核心功能

高效构建和测试静态分析检查器所需的一切。

即时在线 Playground

零配置。使用我们的在线 IDE 立即开始生成检查器。

可视化工作流

追踪从 RAG 检索到验证和修复的整个生成生命周期。

多语言支持

通过统一的工作流生成 C/C++ (Clang-tidy) 和 Java (PMD) 检查器。

AutoChecker 平台

由 ISCAS SQuARE 组开发。
© 2026 AutoChecker 平台。保留所有权利。

enzh