polyspace bug finder documentation -凯发k8网页登录

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) 实现对行业标准的支持。