用途:对 C/C++ 代码库执行稳定性风险检视,识别异常处理不当、并发死锁、资源泄漏、边界条件与图形稳定性等问题,并生成结构化中文报告。
主要能力:规则以 Markdown 文档存放在 references/ 目录,AI 模型直接读取规则文档进行检视;覆盖 5 个稳定性分类共 34 条规则(异常处理 2 条、并发稳定性 1 条、资源管理 5 条、边界条件 14 条、图形稳定性 12 条)。支持全量扫描、指定规则 ID 扫描、按级别(如 HIGH)过滤、按分类扫描。检视流程为白名单过滤后遍历规则,经 RISK_PATTERN、CONTEXT、IMPACT 与安全写法排除,按 PROBLEM_TEMPLATE.md 输出,主 Agent 汇总去重并按 CRITICAL→HIGH→MEDIUM→LOW 排序。
使用方式:触发示例包括“稳定性全量扫描 ./rosen/”“用 ExceptionHandling_001 规则检视 ./src/”“对 ./rosen/ 做稳定性扫描,只检视 HIGH 级别的规则”“用BoundaryCondition和GraphicsStability分类的规则检视 ./rosen/”。报告默认输出到 ./report/ 目录,含 Markdown 与 CSV 两种格式,目录不存在则先创建。规则脚手架工具为 scripts/add-rule.py。
限制:禁止修改被扫描源代码;不得输出非必要中间文件;检出必须包含可复现的 RiskFlow 与 ImpactAnalysis;须先执行白名单过滤再标记 test、mock、generated、build 或 protobuf 文件;不得将崩溃、内存损坏、资源耗尽或 GPU 资源泄漏降级为风格问题;无效规则 ID 须在检视前报告;不同规则或不同风险路径的检出不得合并。详细工作流见 references/WORKFLOW_GUIDE.md。