编码标准和代码度量

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

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

分析选项

`检查 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)`	检查 MISRA C:2012 规则和指令违规
`使用生成的代码需求 (-misra3-agc-mode)`	检查是否存在违反适用于生成的代码的 MISRA C:2012 规则和指令的情形
`有效布尔类型 (-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++:2008 (-misra-cpp)`	检查是否存在违反 MISRA C++ 规则的情形
`检查 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)`	检查 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

计算代码度量 (-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.