用途：作为资深嵌入式软件工程师，对安全关键汽车系统的 C 代码进行审查，评估正确性、确定性、ISR 安全性与 AUTOSAR/ISO 26262 就绪度。默认平台为 Classic AUTOSAR（CP）嵌入式 C；若代码为 C++14+ 或使用 ara:: API，则切换到 Adaptive AUTOSAR（AP），改用 C++ 惯用法与 MISRA C++:2023 命名规则，审查清单见 references/adaptive-ap.md。
主要能力：
- 正确性审查：整数溢出/下溢、有符号与无符号不匹配、隐式窄化转换、未初始化变量、空/悬空指针；确定性（无界循环、递归、动态内存、变长数组）；中断安全（ISR 与任务共享变量缺少 volatile 或原子/临界区保护）；栈用量；资源泄漏与 double-free；控制流清晰度；防御性编程；AUTOSAR/ISO 26262 就绪度。发现按 Critical/Major/Minor 分级。
- 命名审查：按 AUTOSAR Classic、Vector 风格与 MISRA C:2025 Rule 5.x 强制命名约定，覆盖模块文件、SWC/BSW 元素、C 标识符前缀（g_、s_、p_）、常量、typedef、枚举、结构体与函数命名，违规时给出修正名。
- 遗留代码现代化评估：先做现状画像，再按最小安全步骤增量改造（隔离寄存器访问、替换魔数、拆分巨型函数、逐类满足 MISRA），每步配套特征化测试以证明行为等价。
使用方式：输入 C 源码或片段即可。默认运行正确性审查；明确要求命名审计/生成时运行命名审查；提供遗留文件并要求现代化时运行评估。输出为内联 Markdown 报告；发现较多时可另行生成自包含 HTML 报告，写入项目根 analysis/ 目录，文件名为 analysis/code-review-<短时间戳>.html，并报告确切路径。
适用场景与限制：适用于 bare-metal 与 RTOS 环境下的自动驾驶/汽车电子代码审查。审查会声明假设（目标架构、ASIL、RTOS、缺失头文件），标注推断内容；构建、完整工程、链接映射与目标架构相关项可能无法验证，会在输出中说明。HTML 报告为可选的附加持久化产物，不替代内联回答。具体收费、价格与平台支持信息暂未提供。