Polyspace的模块介绍

Polyspace由Bug Finder和Code Prover组成。Bug Finder使用语义分析的方法查找代码中的运行时错误、并发问题、安全漏洞和其他缺陷。Polyspace Code Prover使用抽象解释法证明源代码中不存在溢出、被零除、数组访问越界等运行时错误。

此外，Polyspace还有Server版本，分别是Polyspace Bug Finder Server和Polyspace Code Prover Server。他们是运行在服务器上，可以于CI系统集成的模块。

Polyspace Bug Finder Access和Polyspace Code Prover Access是对应分析结果的存储服务器，用于对分析结果的中心化管理，方便项目相关责任人查看项目质量情况。相关责任人可以通过网页浏览器直接查看分析结果。

1. 运用静态分析找出软件缺陷

2. 证明软件中不存在运行时错误

3. 检查代码对符合编码规范和认证要求

4. 代码度量

5. 持续和自动化验证

6. 验证结果中心化管理

 

 

相关产品:

• Polyspace Bug Finder
• Polyspace Bug Finder Access
• Polyspace Bug Finder Server
• Polyspace Code Prover
• Polyspace Code Prover Access
• Polyspace Code Prover Server