波尔盖斯®bug finder™识别C ++嵌入式软件中的运行时错误,并发问题,安全漏洞和其他缺陷。使用静态分析,包括语义分析,Polyspace Bug Finder.分析软件控制,数据流和移植性的行为。通过在检测到后立即突出显示缺陷,它可以让您在开发过程中提前进行分类并修复错误。
Polyspace Bug Finder.检查是否符合编码规则标准,例如Misra C.®,臭臭®C ++,JSF®++,以及自定义命名约定。它生成由发现错误,代码规则违规和代码质量指标组成的报告,包括循环复杂性。Polyspace Bug Finder.可与Eclipse™IDE一起使用并集成到构建系统中。
对于自动生成的代码,PolySpace结果可以追溯到Simulink万博1manbetx®模型和dspace.®targetlink.®块。
查看所有工作流程,例如:
|
分析选项(Polyspace Bug Finder.) 例如,查找在分析之前配置的选项,例如:
|
结果(Polyspace Bug Finder.) 例如,查找从分析中获得的结果:
|
发行说明(Polyspace Bug Finder.) 查看每个版本的新功能。 |
也可以看看在PolySpace Bug Finder和PolySpace代码抄本中选择。
PolySpace Code Prover™是一个声音静态分析工具,证明了缺失溢出,返回零缺失的数组访问以及C和C ++源代码中的其他运行时错误。它在不需要程序执行,代码仪器或测试用例的情况下产生结果。PolySpace代码箴言使用基于形式方法的语义分析和抽象解释来验证软件移植,控制和数据流动行为。您可以使用它来验证手写代码,生成的代码或两者的组合。每个代码语句都被颜色编码,以指示它是否没有运行时错误,经过验证的,无法进行故障,无法访问或未经证实。
PolySpace代码箴言显示变量和函数返回值的范围信息,并且可以证明哪些变量超过指定范围限制。代码验证结果可用于跟踪质量指标并与您的软件质量目标检查一致性。PolySpace代码箴言可以与Eclipse IDE一起使用,以验证桌面上的代码。
查看所有工作流程,例如:
|
分析选项(PolySpace代码箴言) 例如,查找在分析之前配置的选项,例如:
|
结果(PolySpace代码箴言) 例如,查找从分析中获得的结果:
|
发行说明(PolySpace代码箴言) 查看每个版本的新功能。 |
也可以看看在PolySpace Bug Finder和PolySpace代码抄本中选择。
其他多层产品包括:s manbetx 845
执行类似于代码先报但在ADA代码上的分析。
PolySpace Bug Finder Server和PolySpace代码纤维服务器:
允许将Bug Finder和Code Prover结合在一起与服务器类计算机上的自动运行连续集成。
PolySpace Bug Finder访问和PolySpace代码抄本访问:
提供一个常见的Web界面,用于对Bug Finder的协作审查和团队,项目或组织内的代码抄本结果。
您可以在Web上或来自各个产品的此文档。s manbetx 845