规范
规范检查项的列表和描述
这些检查项与编码最佳做法相关。当模块的复杂度度量超出了指定的阈值时,Polyspace® 会提出软件复杂度缺陷。
可以使用检查规范 (-guidelines)
选项激活这些检查项。
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.
- Modify Default Behavior of Bug Finder Checkers
Extend or constrain the default behavior of defect or coding standard checkers using Polyspace analysis options.
- 检查并审查编码标准违规
使用 Polyspace Bug Finder 检查代码是否违反了 AUTOSAR C++14、CERT® C、CERT C++、CWE、MISRA C™、MISRA® C++、JSF AV C++ 或 ISO-17961 标准。