用途:面向嵌入式汽车 C 代码的 MISRA C:2025 合规审查与合规代码生成,安全上下文为 ISO 26262 ASIL-B/C/D,工具链涉及 Helix QAC、Polyspace、LDRA、PC-lint Plus。
主要能力:覆盖约223条指南(22条指令+约201条规则,分强制/必需/建议),含 Amd4 多线程规则与 C:2025 新增规则;支持 Review 模式(全翻译单元扫描,输出规则编号、类别、代码片段、解释与修正版)与 Develop 模式(按基本类型模型、控制流、指针、函数、标识符等规则生成代码),并提供偏差模板与分阶段遗留代码合规改造建议。
使用方式:Review 模式输入 C 源码或片段,可选 ASIL 等级与既有偏差;Develop 模式输入函数/模块/数据结构描述、输入输出类型范围与单位,可选 ASIL 与复用类型定义。审查结果含优先级排序(先未定义行为与关键类型规则)及自检声明。开发模式在偏差处使用注释格式:“/* MISRA C:2025 Rule X.Y deviation: <reason> */”。
限制:不重述指南原文,需用户持有授权版 MISRA C:2025 作为权威来源;无法验证需完整工程、构建或许可证副本的事项;不确定的适用性会明确说明。部分规则细节与 HTML 报告模板等资料暂未提供完整。