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文件打开即可。
