Instant Online Playground
Zero setup required. Start generating checkers immediately with our web-based IDE.
Powered by LLM-driven Static Analysis
AutoChecker Platform
AutoChecker utilizes LLMs to automatically generate static analysis checkers, with browser-based experiences for generation, testing, and workflow visualization.
Key Features
Everything you need to build and test static analysis checkers efficiently.
Visualized Workflow
Trace the entire generation lifecycle from RAG retrieval to verification and repair.
Multi-language Support
Generate checkers for C/C++ (Clang-tidy) and Java (PMD) with a unified workflow.
Case Gallery
Explore pre-loaded examples to understand capabilities.
C/C++ Medium
Declare Anonymous Struct
Prohibits anonymous structs or unions nested directly inside struct definitions, including multi-level nesting. Nested structs remain compliant when they are given explicit member names.
C/C++ Medium
Dependent Call In Expr
Prohibits multiple related function calls in the same expression when one call can affect the value observed by another. Separating the calls into distinct statements keeps evaluation order explicit.
C/C++ Medium
Misuse Compare Expr
Requires parentheses when arithmetic or bitwise operations are mixed with comparison operators so evaluation order stays explicit. Expressions such as `(x & y) == z` are compliant, while `x & y == z` is not.
C/C++ Medium
No Assignment In Condition
Prohibits using assignment expressions directly inside conditions such as `if`, `while`, `do-while`, and `for`. Assignments must be separated from the boolean check to avoid confusing `=` with `==`.