创建编码标准

R2026b
将现有检查项打包为可分享的用户定义编码标准

通过选择强制执行工程规范的现有 Polyspace® Bug Finder™ 检查项，创建用户定义的编码标准。将这些检查项整理成规则和章节，然后将它们打包为一个检查项激活文件 (.pschk)。

运行 polyspace-query-language init 以创建工程模板，然后定义规则和章节：

catalog ProjectSafety = {
  Memory.Memory,
  ClassDesign.ClassDesign
}

section Memory = { MEM_1, MEM_2 }

rule MEM_1 = { std.cert_cpp.MEM52_CPP }
rule MEM_2 = { std.misra_c_2012.R21_3 }

主题