编码标准和代码度量 -凯发k8网页登录
misra、autosar、cert 和 jsf 编码规则集,自定义编码规则,代码度量
要指定您要检查的编码标准,例如 misra c®:2012 或 autosar c 14,请使用编码标准选项。要在分析结果中查看代码复杂度度量,例如圈复杂度和调用函数或被调用函数的数目,请使用代码度量选项。
分析选项
主题
快速入门
在 polyspace® 用户界面、其他 ide 或脚本中指定 polyspace 分析选项。- 检查编码标准违规
使用 polyspace bug finder 检查代码是否违反了 autosar c 14、cert® c、cert c 、misra c、misra® c 、jsf av c 或 iso-17961 标准。
enforce naming conventions and other style guidelines on c/c code with polyspace.
enable and configure the software complexity checkers to identify issues that make your code difficult to read, understand, and debug.
misra 或 jsf 规则
avoid conflicting declarations or unintended modification of variables.
adjust your coding rules checking for a faster analysis.
代码复杂度度量
对代码复杂度度量(例如圈复杂度和嵌套深度)强制施加限制。
查看 polyspace 中支持的哪些代码复杂度度量是 hersteller initiative software (his) 标准的一部分。
修改检查项行为
extend or constrain the default behavior of defect or coding standard checkers using polyspace analysis options.