Polyspace®错误发现者™识别C和c++嵌入式软件中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析,包括语义分析,Polyspace错误发现者分析软件控制、数据流和过程间行为。通过在检测到缺陷时突出显示缺陷,您可以在开发过程的早期对缺陷进行分类和修复。
Polyspace错误发现者检查是否符合编码规则标准,如MISRA C®, MISRA®c++, JSF®++和自定义命名约定。它生成由发现的错误、代码规则违反和代码质量度量(包括圈复杂度)组成的报告。Polyspace错误发现者可以与Eclipse™IDE一起使用,并集成到构建系统中。
对于自动生成的代码,Polyspace的结果可以追溯到Simulink金宝app®模型和dSPACE®TargetLink®块。
查看所有工作流,例如:
|
分析选项(Polyspace错误发现者) 在分析之前查找要配置的选项,例如:
|
结果(Polyspace错误发现者) 查看分析结果,例如:
|
发布说明(Polyspace错误发现者) 查看每个版本的新内容。 |
另请参阅在Polyspace Bug Finder和Polyspace代码验证器之间进行选择.
Polyspace代码验证™是一个可靠的静态分析工具,可以证明C和c++源代码中没有溢出、被零除、超出边界的数组访问和其他运行时错误。它在不需要程序执行、代码检测或测试用例的情况下产生结果。Polyspace代码验证使用基于形式化方法的语义分析和抽象解释来验证软件的过程间、控制和数据流行为。您可以使用它来验证手写代码、生成的代码或两者的组合。每个代码语句都用颜色编码,以表明它是否没有运行时错误、已证实失败、不可访问或未证实。
Polyspace代码验证显示变量和函数返回值的范围信息,并可以证明哪些变量超过了指定的范围限制。代码验证结果可用于跟踪质量度量并检查与软件质量目标的一致性。Polyspace代码验证可以与Eclipse IDE一起使用,以在桌面上验证代码。
查看所有工作流,例如:
|
分析选项(Polyspace代码验证) 在分析之前查找要配置的选项,例如:
|
结果(Polyspace代码验证) 查看分析结果,例如:
|
发布说明(Polyspace代码验证) 查看每个版本的新内容。 |
另请参阅在Polyspace Bug Finder和Polyspace代码验证器之间进行选择.
其他Polyspace产品包括:下载188bet金宝搏
在Ada代码上执行类似于代码验证器的分析。
Polyspace Bug查找服务器和Polyspace代码验证服务器:
允许将Bug查找器和代码验证器与服务器类机器上的自动运行进行持续集成。
Polyspace Bug查找器访问和Polyspace代码验证器访问:
为团队、项目或组织内的Bug查找和代码验证结果提供一个共同的web界面。
您可以在web上或从相应的产品上查看此文档。下载188bet金宝搏