编码标准和代码度量

MISRA、AUTOSAR、CERT 和 JSF 编码规则集，自定义编码规则，代码度量

要指定您要检查的编码标准，例如 MISRA C™:2012 或 AUTOSAR C++14，请使用编码标准选项。要在分析结果中查看代码复杂度度量，例如圈复杂度和主调函数或被调函数的数目，请使用代码度量选项。

Polyspace 选项

`检查 MISRA C:2004 (-misra2)`	检查是否存在违反 MISRA C:2004 规则的情形
`检查 MISRA AC AGC (-misra-ac-agc)`	Check for violation of MISRA AC AGC rules
`检查 MISRA C:2012 (-misra3)`	Check for violations of MISRA C:2012 rules and directives
`使用生成代码的要求 (-misra3-agc-mode)`	检查是否存在违反适用于生成的代码的 MISRA C:2012 规则和指令的情形
`检查 MISRA C:2023 (-misra-c-2023)`	检查是否存在违反 MISRA C:2023 规则和指令的情形 (自 R2024a 起)
`使用生成代码的要求 (-misra-c-2023-agc-mode)`	检查是否存在违反适用于生成的代码的 MISRA C:2023 规则和指令的情形 (自 R2024a 起)
`有效布尔类型 (-boolean-types)`	Specify data types that coding rule checker must treat as effectively Boolean
`检查 SEI CERT-C (-cert-c)`	检查是否存在违反 CERT C 规则和建议的情形
`检查 ISO/IEC TS 17961 (-iso-17961)`	检查是否存在违反 ISO/IEC TS 17961 规则的情形

`检查 MISRA C++:2023 (-misra-cpp-2023)`	Check for violations of MISRA C++:2023 rules and directives (自 R2024b 起)
`检查 MISRA C++:2008 (-misra-cpp)`	Check for violations of MISRA C++ rules
`检查 JSF AV C++ (-jsf-coding-rules)`	Check for violations of JSF C++ rules
`检查 AUTOSAR C++14 (-autosar-cpp14)`	检查 AUTOSAR C++ 14 违规
`检查 SEI CERT-C++ (-cert-cpp)`	检查是否存在违反 CERT C++ 规则的情形

`使用文件设置检查项 (-checkers-selection-file)`	为您的分析定义一组自定义编码标准检查
`检查 CWE (-cwe)`	Check for weaknesses in your code that are enumerated in CWE (自 R2023a 起)
`检查自定义规则 (-custom-rules)`	Follow naming conventions for identifiers
`检查规范 (-guidelines)`	Check for violations of Guidelines (自 R2021a 起)
`允许的 pragma (-allowed-pragmas)`	Specify pragma directives that are documented
`polyspace-catalog-bundler`	(DOS/UNIX) Create user-defined Polyspace coding standards at the DOS or UNIX command line (自 R2024b 起)

计算代码度量 (-code-metrics) 计算并显示代码复杂度度量

指定 Polyspace 分析选项
在 Polyspace^® 用户界面、其他 IDE 或脚本中指定 Polyspace 分析选项。
检查并审查编码标准违规
使用 Polyspace Bug Finder 检查代码是否违反了 AUTOSAR C++14、CERT^® C、CERT C++、CWE、MISRA C、MISRA^® C++、JSF AV C++ 或 ISO-17961 标准。
Enforce Naming Conventions for C/C++ Variables and Functions
Enforce naming conventions and other style guidelines on C/C++ code with Polyspace.
Reduce Software Complexity by Using Polyspace Checkers
Enable and configure the software complexity checkers to identify issues that make your code difficult to read, understand, and debug.

Avoid Violations of MISRA C Rules 8.x
Avoid conflicting declarations or unintended modification of variables.
Coding Rule Subsets Checked Early in Analysis
Adjust your coding rules checking for a faster analysis.