Polyspace Code Prover Server

 

Polyspace Code Prover Server

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

使用 Polyspace Code Prover Server 自动分析代码

使用 Polyspace Code Prover Server 自动分析代码

证明不存在严重的运行时错误

根据所有可能的输入,在不执行代码的情况下分析所有代码路径。识别无论运行时条件如何都永远不会遇到运行时错误的语句,并找出需要注意的其他语句。

自动化并集成到开发运营一体化中

通过接入现有开发运营一体化工作流和工具支持现代软件开发实践。Polyspace® 可与流行的持续集成工具(如 Jenkins 和 Bamboo®)协同工作。

在任何平台上运行静态代码分析

在本地或云中的自动化服务器上运行 Polyspace Code Prover Server。使用 MathWorks® 参考架构在 Docker、AWS® 和 Azure® 等平台上进行部署。

认证支持

创建完成行业标准认证过程所需的交付物。经 TÜV 南德认证,已通过 IEC 61508 和 ISO 26262 的最高功能安全级别。支持 DO-178C 鉴定。

防止意外软件行为

识别所有通过任何执行路径都无法访问的代码节以及逻辑和程序结构上的错误。

分析全局变量用法

减少调试全局变量的读/写操作问题所花费的时间。识别未受保护的共享变量和未使用的变量。

静态应用程序安全性测试

证明不存在严重的安全漏洞,例如缓冲区溢出、内存访问和数值溢出。在不执行代码的情况下使用所有代码路径和输入分析代码,从而减少对模糊测试的需求。

有兴趣了解 Polyspace Code Prover Server?