用于验证安全编码标准合规性的模型顾问检查

如果您有 Embedded Coder^® 或 Simulink^® Check™，您可以检查您的 Simulink 模型以及编译后的代码是否符合安全编码标准。要检查您的模型，请执行以下操作：

打开模型顾问。
导航到按任务 > 安全编码建模规范(CERT C、CWE、ISO/IEC TS 17961)。
运行该文件夹中的检查。

要查看模型顾问检查，请参阅针对 CERT C、CWE 和 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 | 编码标准