Polyspace错误发现者
使用静态分析识别软件bug
PolySpace Bug Finder™识别C和C ++嵌入式软件中的运行时错误，并发问题，安全漏洞和其他缺陷。使用静态分析，包括语义分析，PolySpace Bug Finder分析软件控制，数据流和移植物行为。通过在检测到后立即突出显示缺陷，它可以让您在开发过程中提前进行分类并修复错误。
PolySpace Bug Finder检查遵守编码规则标准，如MISRA - C和Misra C ++，Autosar C ++ 14，Cert®C，证书®C ++，以及自定义命名约定。它生成由发现错误，代码规则违规和代码质量指标组成的报告，包括循环复杂性。PolySpace Bug Finder可以与Eclipse™IDE一起使用，以分析桌面上的代码。
对于自动生成的代码，Polyspace®结果可以追溯到Simulink万博1manbetx®模型和dspace.®targetlink.®块。
万博1manbetx通过IEC认证套件(适用于ISO 26262和IEC 61508)和DO认证套件(适用于DO-178)提供行业标准支持。
开始：
找到复杂bug的根本原因
在带有事件跟踪、变量值和调用树的类调试器视图中查看代码。
创建自己的导航路径。
在您的代码中识别来自IDE中的错误
通过使用代码或修改代码后，查找错误波尔盖斯就像在IDE(如Visual Studio)中编写代码一样®、Visual Studio Code或Eclipse。
在Visual Studio中编码时使用Polyspace。
跟踪代码分析Simulink模型万博1manbetx
在生成的代码上运行分析并将您的发现跟踪到源模型块。
跟踪模型的代码分析。
配置任何运行时环境
将Polyspace Bug Finder与任何编译器、目标处理器和RTOS环境集成在一起。
设置编译器和目标选项。
遵守编码规则和认证要求
执行MISRA - C和Misra C ++，AutoSAR C ++ 14，JSF ++和自定义规则。符合ISO 26262，DO-178，IEC 61508，EN 50128，IEC 62304等。
万博1manbetx支持的功能安全标准。
满足安全要求
遵守CERT C / c++、ISO 17961和MISRA C:2012修正案
配置编码规则检查。
过滤的结果。
分析综合构建
在服务器类机上运行PolySpace Bug Finder Server™静态分析引擎，具有构建自动化工具，如Jenkins和Bamboo。
将PolySpace产品集成到您的持续集成环s manbetx 845境中。
用于协作审查的通知和上传结果
自动将缺陷分配给组件所有者，发送电子邮件通知，并将结果上传到Polyspace Bug Finder Access™，这样您就可以对问题进行分类和解决。
使用Polyspace Bug Finder结果发送电子邮件通知。
回顾分析结果，以便对问题进行分类和解决
PolySpace Bug Finder Access为PolySpace静态代码分析结果和存储在中央存储库中的质量指标提供了一个Web浏览器界面。用于调查静态分析结果的导航工具与代码一起显示。
结果详细信息窗口。
监控项目质量和软件质量度量
仪表板显示可以用于监控软件质量，项目状态，缺陷数量和代码指标的信息。
项目概述仪表板。
与已使用的错误跟踪工具集成
使用Web浏览器界面在Bug跟踪工具中创建和分配票证，如Jira。
创建门票。
