即时在线 Playground
零配置。使用我们的在线 IDE 立即开始生成检查器。
高效构建和测试静态分析检查器所需的一切。
零配置。使用我们的在线 IDE 立即开始生成检查器。
追踪从 RAG 检索到验证和修复的整个生成生命周期。
通过统一的工作流生成 C/C++ (Clang-tidy) 和 Java (PMD) 检查器。
浏览预置案例以了解平台能力。
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.
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.
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.
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 `==`.