通过静态分析找出软件错误

Polyspace Bug Finder™ 可以识别嵌入式软件 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析,包括语义分析,Polyspace Bug Finder 分析软件控制、数据流和过程间行为。通过在检测到缺陷之后立即突出显示缺陷,可让您在开发过程的早期阶段鉴别和修复错误。

Polyspace Bug Finder 可检查是否符合编码规范,如 MISRA C®、MISRA C++、JSF++ 和自定义命名规范。它可以生成报告,其中包括发现的错误、代码违规和代码质量指标,如圈复杂度。Polyspace Bug Finder 可与 Eclipse™ IDE 结合使用并集成到构建系统中。

对于自动生成的代码,可以将 Polyspace® 结果追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。

通过 IEC Certification Kit(对于 ISO 26262 和 IEC 61508)DO Qualification Kit(对于 DO-178),可提供对行业标准的支持。


功能

通过静态分析来识别软件缺陷和安全漏洞

分析代码组件或整个嵌入式软件项目。

了解更多

通过尽早纠正错误缩短测试周期

检测各种缺陷,如数值、静态内存、动态内存、并发性和安全漏洞。

了解更多

验证是否符合编码规范(MISRA、JSF、命名约定)

强制执行编码规则,以提高代码的可读性和质量。

了解更多

生产代码度量指标和监控软件质量

生成项目级、文件级和函数级指标,以评估代码的复杂度。

了解更多

将代码分析结果追溯到 Simulink 模型

分析生成的代码或混合代码(同时包含自动生成代码和手写代码)。

了解更多

创建认证套件

根据行业标准完成项目认证流程。

了解更多

产品资源

通过浏览这些资源,探索有关 Polyspace Bug Finder 的更多信息。

文档

浏览 Polyspace Bug Finder 函数和功能文档,包括发行说明和代码示例

系统要求

查看最新 Polyspace Bug Finder 版本的系统要求

技术文章

查看使用 Polyspace Bug Finder 方面的文章,了解可以带来的技术优势

用户案例

了解 Polyspace Bug Finder 正在如何推动您所在行业内的研发步伐

社区和支持

查找问题答案并浏览故障排除资源

应用程序

Polyspace Bug Finder 应用程序可让您通过一个交互式界面快速执行常见任务


试用或购买

开始使用Polyspace Bug Finder 产品有多种方式。 下载免费试用版, or 了解定价和许可选项。

获取免费试用版

试用 Polyspace Bug Finder。

获取试用版

准备购买?

购买 Polyspace Bug Finder 并了解附加产品。

联系销售
定价和许可

有疑问吗?

Ram

联系 Ram Cherukuri,
Polyspace Bug Finder 技术专家

给 Ram 发送电子邮件

相关解决方案

使用 Polyspace Bug Finder 来解决科技与工程上的挑战:


新闻与事件

Fast-Track MISRA Compliance of Generated Code