Polyspace Bug Finder
Polyspace® Bug Finder™ 可标识 C 和 C++ 嵌入式软件中的运行时错误、并发性问题、安全漏洞和其他缺陷。Polyspace Bug Finder 使用静态分析(包括语义分析)来分析软件控制、数据流和过程间行为。通过在检测到缺陷后立即突出显示缺陷,您可以在开发过程的早期对 Bug 进行分类和修复。
Polyspace Bug Finder 可检查您的代码是否符合编码规则标准,例如 MISRA C™、MISRA C++、JSF++、CERT® C、CERT C++ 以及自定义命名约定。它将生成报告,其中包含发现的 Bug、代码违规,以及代码质量度量(包括圈复杂度)。Polyspace Bug Finder 可以与 Eclipse™ IDE 配合使用以在桌面端分析代码。
对于自动生成的代码,可以从 Polyspace 结果追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。
通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178) 实现对行业标准的支持。
Polyspace Bug Finder 快速入门
Polyspace Bug Finder 基础知识学习
安装 Polyspace
在桌面端、服务器端或 IDE 上安装 Polyspace 产品进行分析
配置并运行分析
在桌面端、服务器端或 IDE 中设置 Polyspace Bug Finder 分析
审查分析结果
在 Polyspace 桌面端用户界面、Web 浏览器或 IDE 中审查 Polyspace Bug Finder 结果
Polyspace Bug Finder 示例
用于从不同环境运行 Polyspace 的示例脚本和模板,显示 Bug 和编码违规的 C/C++ 代码示例
工具鉴定与认证
针对 DO 和 IEC 认证对 Polyspace Bug Finder 进行鉴定
Polyspace Bug Finder 中的故障排除
解决 Polyspace Bug Finder 中的意外问题