用途:对 Ascend C 代码进行安全与编码规范检视,将检视动作映射到编码规范具体条款,并输出结构化、可审计的检视报告。
主要能力:按假设检验流程工作。先校验必需参数并读取对应规范文件;再把代码划分为独立代码段,对每段建立原假设(安全)与备择假设(存在风险),自信值初始为0%;随后按红线规范违反(+40%)、一般规范违反(+20%)、上下文防御缺失(+30%)、函数调用链风险(+25%)、数据流追踪风险(+25%)等维度收集证据,排除已防御或不可能触发的误报,自信值超过60%即判定存在风险。
使用方式:调用时必须提供代码片段和检视规则描述,可选提供规范文件路径。规则描述会匹配规范文件,如数值运算/溢出/除零对应 references/01_numeric_operations.md,内存/指针/越界对应 references/02_memory_pointer_safety.md,资源/泄漏对应 references/03_resource_management.md,输入/验证对应 references/04_input_validation.md,并发/线程对应 references/05_concurrency_safety.md,算子接口/Runtime/Tiling/动态Shape对应 references/06_operator_interface.md,接口兼容性/ABI对应 references/07_interface_compatibility.md。缺少必需参数时应通知用户并放弃执行。
适用场景:用户要求代码检视、代码review、询问代码安全问题、检查编码规范,或排查内存泄漏、整数溢出、空指针等特定问题。
限制:检视仅统计对应编码规范文件中的问题;存疑问题以存疑形式列出供用户判断;报告需包含检视类别、风险点列表(含行号与代码片段)、证据链和建议修复方案,并需核对风险代码行号是否正确。输出格式详见 agents/ascendc-ops-reviewer/style/code_review_summary_style.txt。