SuperAPI AI 工具集

code-review

编程与开发

查看项目

更新于 10-16 04:53

技能介绍

用途:面向安全关键汽车嵌入式软件的代码评审技能。默认以 Classic AUTOSAR(CP)嵌入式 C 为基准,也可在代码为 C++14+ 或使用 ara:: API 时切换到 Adaptive AUTOSAR(AP),改用 AUTOSAR C++14 / MISRA C++:2023 规则。

主要能力分三类。正确性评审:检查整数溢出/下溢、有符号与无符号不匹配、隐式窄化、未初始化变量、空指针与悬空指针;确定性(无界循环、递归、动态内存、变长数组);中断安全(ISR 与任务上下文共享变量缺 volatile 或原子/临界区保护);栈用量与资源泄漏;控制流清晰度;模块边界输入校验与返回值检查;AUTOSAR/ISO 26262 就绪度。命名评审:按模块文件前缀、SWC/端口/Runnable、g_/s_/p_ 前缀、常量、typedef、枚举、结构体、函数等规则做审查或生成命名方案。遗留现代化评估:先测绘现状(C 标准、与 MISRA 差距、隐藏全局状态、硬件耦合、风险构造),再给出最小可独立验证的增量步骤,并配合表征测试证明行为等价。

使用方式:给出 C 源码或片段即默认做正确性评审;明确要求命名审计或命名生成时走命名评审;给出遗留文件并要求现代化、重构或符合 MISRA 时走遗留评估。可附带 ASIL 等级、RTOS、编译器/架构信息。输出按 Critical/Major/Minor 分级,命名评审以表格列出违规与更正名称,末尾附验证范围说明。可选生成自包含 HTML 报告,写入项目根 analysis/ 目录,文件名形如 analysis/code-review-<short-timestamp>.html;未检测到项目根时先询问写入位置。

限制:需构建、完整工程、链接映射或目标架构才能确认的问题会标为无法验证;具体 MISRA 规则细节与测试设计分别交给 misra、embedded-testing 技能;命名约定若无法自动套用需团队决定。其余平台、收费等信息暂未提供。