Polyspace 是一个代码静态分析和验证的工具，隶属于MATLAB，用于检测代码中的错误和缺陷，包括内存泄漏、数组越界、空指针引用等。帮助开发团队提高代码质量，减少软件开发过程中的错误和风险。

1、打开MATLAB R2018b

2、找到Polyspace Bug Finder，双击打开。

3、打开后出现默认界面，关闭start page。

4、File -->New Project

填写工程名称，选择路径可以是默认的，也可以自己新建。

5、添加源文件，此处路径到工程的名称即可，不必到src，NEXT。

6、添加所有的.h文件，所有的.h文件单独放一个文件夹。

7、在此处需要添加源文件。

8、上面的源文件右击可直接copy过去。

9、一些配置

英飞凌主芯片

10、开始检测

检测一次时间一般持续四十分钟左右。

11、检测报告生成路径

12、再次打开

选择工程路径下的PSPRJ文件打开即可。