模型顾问检查以验证是否符合安全编码标准
如果您有 Embedded Coder® 或 Simulink® Check™,您可以检查您的 Simulink 模型和编译的代码是否符合安全编码标准。要检查您的型号:
打开模型顾问。
导航至按任务 > 安全编码建模指南 (CERT C、CWE、ISO/IEC TS 17961) 。
运行文件夹中的检查。
要查看模型顾问检查,请参阅适用于 CERT C、SWE 和 ISO/IEC TS 17961 编码标准的模型顾问检查 (Simulink Check)。
如果您拥有 Polyspace® Bug Finder™ 产品许可证,您可以根据这些安全编码标准评估您的代码。有关详细信息,请参阅:
使用 Polyspace 实现 CWE 编码规范覆盖 (Polyspace Bug Finder)
检查并审查编码标准违规 (Polyspace Bug Finder)
另请参阅
Modeling Guidelines and Model Advisor Checks for Verifying Compliance with MISRA C Standards | 编码标准