使用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

<