查找错误

Polyspace^®臭虫搜索™识别运行时错误，并发问题，安全漏洞，并在C和C等缺陷++嵌入式软件。使用静态分析，包括语义分析，Polyspace Bug的搜索分析软件控制，数据流和过程间行为。通过一旦检测到它们突出的缺陷，它可以让你分流和解决一些在开发过程的早期。

Polyspace Bug的搜索检查是否符合编码规则标准，如MISRA C^®，MISRA^®C ++，JSF^®++和自定义命名约定。它产生由错误的报告发现，代码违规和代码质量指标，包括圈复杂度。Polyspace Bug的搜索可以与Eclipse™IDE使用，并集成到构建系统。

自动生成的代码，Polyspace结果可追溯到的Simulink万博1manbetx^®模型和dSPACE的^®TargetLink的^®块。

完整的Bug查找器文档 查看所有的工作流程，例如： 设置分析。 审查结果并生成报告。	分析选项（Polyspace Bug的搜索） 查找选项来配置分析之前，例如： 目标和编译器选项。 缺陷寻找。	结果（Polyspace Bug的搜索） 查找结果，你从一个分析得到的，例如： 缺陷。 编码规则。	发行说明（Polyspace Bug的搜索） 请参阅各版本有什么新的。

也可以看看选择Polyspace Bug的Finder和Polyspace代码证明器之间。

代码证明器

Polyspace代码证明器™是，证明了没有溢出的声静态分析工具，除以零，外的界定数组访问，以及在C和C ++源码其它运行时错误。它产生的结果，而无需执行程序，代码插，或测试用例。Polyspace代码证明器使用基于形式化方法语义分析和抽象解释来验证软件的过程间，控制和数据流的行为。你可以用它来验证手写代码，生成的代码，或两者的组合。每个代码语句是颜色编码，以表明它是否是免费的运行时错误，证明是失败，无法访问，或未经证实的。

Polyspace代码证明器显示范围的变量和函数返回值的信息，并能证明哪些变量超出指定的范围的限制。代码验证结果可以用于跟踪质量指标，并与您的软件质量目标检查一致性。Polyspace代码证明器可以与Eclipse IDE被用于验证您的桌面上的代码。

完整的代码证明者文档 查看所有的工作流程，例如： 设置分析。 审查结果并生成报告。	分析选项（Polyspace代码证明者） 查找选项来配置分析之前，例如： 目标和编译器选项。 有关验证的假设选项。	结果（Polyspace代码证明者） 查找结果，你从一个分析得到的，例如： 运行时检查。 全局变量的使用。	发行说明（Polyspace代码证明者） 请参阅各版本有什么新的。

也可以看看选择Polyspace Bug的Finder和Polyspace代码证明器之间。

其他Polyspaces manbetx 845

其他Polyspace产品包括：s manbetx 845

您可以在web上或从相应的产品中查看此文档。s manbetx 845