【Matlab PolySpace 代码静态分析使用教程】

---

前言

Polyspace 是一个静态分析工具，可识别、修复或挖掘潜在的运行时错误（如：除以零），并检查源代码是否遵循 MISRA C、MISRA C++ 和 JSF++ 等代码标准。此外，Polyspace 还可以将必须手动审查的未经验证代码突出显示。其广泛用于嵌入式软件领域，尤其是安全性能至上的交通运输领域，如汽车、航空航天和铁路运输领域。

---

一、Matlab安装

Polyspace集成在Matlab上（大概），需要先安装Matlab。

1.安装软件

• 将安装程序拷贝至本机，解压软件，得到中文原程序“R2018b_win64”和文件“MATLAB R2018b Win64 Crack”。

• 可自行前往MATLAB官网获取下载
  

• 运行“R2018b_win64”文件夹里面的“setup.exe”进行原版程序安装。首先选择使用文件安装密钥选项。
  

• 点击下一步，阅读并同意软件安装协议，“是否接受许可协议的条款？”选择“是”，点击下一步。
  

• 当需要输入“提供文件安装密钥”时，输入密钥比如：09806-07443-53955-64350-21751-41297，点击下一步。
  

• 软件默认安装在C盘，因软件占用磁盘空间12G+，建议点击“浏览”修改安装路径点击下一步。
  

• 选择要安装的产品，建议全选，点击下一步。(如果只使用MATLAB的Polyspace Code Prover功能，此处只勾选“MATLAB 9.5” “Polyspace Bug Finder”及“Polyspace Code Prover”进行最小化安装，点击下一步。)
  

• 确定安装信息，点击“安装”，进入安装界面，等待软件安装。（如果选择安装的产品较多，安装时间比较长，请耐心等待）