Polyspace错误发现者
使用静态分析识别软件bug
Polyspace Bug Finder™识别C和c++嵌入式软件中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析，包括语义分析，Polyspace Bug Finder分析软件控制、数据流和过程间行为。通过在检测到缺陷时突出显示缺陷，您可以在开发过程的早期对缺陷进行分类和修复。
Polyspace Bug Finder检查是否符合编码规则标准，如MISRA C®， misra c++， jsf ++，证书®C,证书®c++，和自定义命名约定。它生成由发现的错误、代码规则违反和代码质量度量(包括圈复杂度)组成的报告。Polyspace Bug Finder可以与Eclipse™IDE一起使用，在桌面上分析代码。
对于自动生成的代码，Polyspace的结果可以追溯到Simulink金宝app®模型和dSPACE®TargetLink®块。
金宝app通过IEC认证套件(适用于ISO 26262和IEC 61508)和DO认证套件(适用于DO-178和DO-254)提供行业标准支持。
开始:
免费白皮书
7种方法使嵌入式软件安全和安全
找到复杂bug的根本原因
在带有事件跟踪、变量值和调用树的类调试器视图中查看代码。
创建自己的导航路径。
跟踪代码分析到Simulink模型金宝app
对生成的代码运行分析，并跟踪您的发现到源模型块。
跟踪模型的代码分析。
配置任何运行时环境
将Polyspace Bug Finder与任何编译器、目标处理器和RTOS环境集成在一起。
设置编译器和目标选项。
遵守编码规则和认证要求
执行MISRA C, MISRA c++， AUTOSAR c++ 14, JSF++，和自定义规则。符合ISO 26262、DO-178、IEC 61508、EN 50128、IEC 62304等标准。
符合功能安全标准。
满足安全要求
遵守CERT C / c++、ISO 17961和MISRA C:2012修正案
配置编码规则检查。
过滤的结果。
分析集成构建
使用Jenkins和Bamboo等构建自动化工具在服务器类机器上运行Polyspace Bug Finder Server™静态分析引擎。
将Polyspace产品集成到持续集成环下载188bet金宝搏境中。
通知并上传结果以供协作评审
自动将缺陷分配给组件所有者，发送电子邮件通知，并将结果上传到Polyspace Bug Finder Access，以便您可以对问题进行分类和解决。
用Polyspace Bug Finder结果发送电子邮件通知。
回顾分析结果，以便对问题进行分类和解决
Polyspace Bug Finder Access™提供了一个web浏览器界面，用于存储在中央存储库中的Polyspace静态代码分析结果和质量指标。用于研究静态分析结果的导航工具与代码一起显示。
结果详细窗口。
监控项目质量和软件质量度量
指示板显示您可以用来监视软件质量、项目状态、缺陷数量和代码度量的信息。
仪表板项目概述。
与您已经使用的Bug跟踪工具集成
使用web浏览器界面在bug跟踪工具(如Jira)中创建和分配票据。
创建门票。
编译器支持金宝app
简化了用Renasas SH C编译器编译的代码的分析设置
c++ 17金宝app的支持
在具有c++ 17特性的代码上运行Polyspace分析
AUTOSAR c++ 14金宝app的支持
检查308 AUTOSAR c++ 14条规则，包括61个新的检查器添加在R2020b
生成系统中的配置
使用JSON编译数据库生成项目文件或分析选项文件
金宝app仿真软件的支持金宝app
从Simulink模型中生成和打包Polyspace选项文件金宝app
CERT C支金宝app持
检查是否违反了所有CERT C规则，包括对线程安全问题和硬编码敏感数据的新检查
看到发布说明有关这些特性和相应功能的详细信息。
