Polyspace Code Prover Server™ 是一款可靠的静态分析引擎,可以证明在 C 和 C++ 代码中不存在溢出、除以零、数组访问越界和某些其他运行时错误。它对所有可能的控制流和数据流(包括多线程代码)执行过程间分析,以将每项操作识别为始终安全、始终出错、不可达或易受攻击。Polyspace Code Prover Server 识别没有运行时错误、证明失败、不可达或未经证明的代码段。
Polyspace Code Prover Server 可以在服务器级计算机上运行,并可以使用 Jenkins® 等工具集成到编译和持续集成系统中,以进行自动验证。分析结果可以发布到 Polyspace Access™ 进行分类和解决。
通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178),可提供对行业标准的支持。
自动化并集成到开发运营一体化中
通过接入现有开发运营一体化工作流和工具支持现代软件开发实践。Polyspace® 可与流行的持续集成工具(如 Jenkins 和 Bamboo®)协同工作。