使用PolySpace进行代码检查

PolySpace进行MISRA-C 2012检查

一、前言

1.1、什么是PolySpace

Polyspace是Mathwork旗下的代码静态检查工具。olyspace会检查源代码，以确定可能在哪里发生潜在的运行时错误，例如算术溢出，缓冲区溢出，被零除和其他错误。软件开发人员和质量保证经理使用此信息来识别代码的哪些部分有故障或被证明是可靠的。该代码的其他部分已标记为未经验证的检查，应接受个人审查。诸如MISRA C之类的代码标准或准则试图解决代码质量，可移植性和可靠性。该产品检查C和C ++源代码是否符合这些编码标准中的一部分规则。

1.2、PolySpace用来做什么

Polyspace的Bug Finder工具通过对源代码执行静态程序分析来识别软件错误。它会发现缺陷，例如数值计算，编程，存储和其他错误。它还会生成软件指标，例如源文件的注释密度，循环复杂性，行数，参数，调用级别等，并在软件中标识出运行时错误。

二、使用PolySpace新建代码检查工程

1、File -> New Project

2、添加源文件Project Source Files -> Add Source Folders

3、添加头文件

4、配置语言类型，编译器类型

5、设置编译宏

代码中可能存在一些编译器设置的宏，这里需要添加

三、进行代码检查

点击Run Bug Finder,开始代码检查

四、查看代码分析报告

1、整体结果

点击Result目录下的BF_Result文件查看整体分析报告

2、详细错误

点击Results List 查看详细错误，并分析。

最后附上我的Github项目，我将在上面更新基于S32K144 MCAL 和Erika Os，以Autosar为接口需求的，USD ODB CANTP NM等功能
项目链接地址: S32K144.