PolyspaceBug查找器

Polyspace^®Bug查找器™识别C和c++嵌入式软件中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析，包括语义分析，多空间Bug查找器分析软件控制、数据流和过程间行为。通过在检测到缺陷时突出显示缺陷，您可以在开发过程的早期对缺陷进行分类和修复。

多空间Bug查找器检查是否符合编码规则标准，如MISRA C^®，MISRA C++，JSF+++，证书^®C, CERT c++，和自定义命名约定。它生成由发现的错误、代码规则违反和代码质量度量(包括圈复杂度)组成的报告。多空间Bug查找器可以与Eclipse™IDE一起使用来分析桌面上的代码。

对于自动生成的代码，Polyspace结果可以追溯到Simulink金宝app^®模型和dSPACE^®TargetLink^®阻碍。

金宝app对行业标准的支持可以通过IEC认证套件（适用于ISO 26262和IEC 61508）和DO认证套件(用于DO-178)．

Bug Finder完整文档 查看所有工作流，例如： 建立分析。 审查结果并生成报告。	分析选项（多空间Bug查找器） 在分析之前查找要配置的选项，例如: 目标和编译器选项。 寻找缺陷。	后果（多空间Bug查找器） 查看分析结果，例如: 缺陷。 编码规则。	发布说明（多空间Bug查找器） 查看每个版本的新内容。

有关特定于桌面的工作流，请参见：

另请参阅在Polyspace Bug Finder和Polyspace代码验证器之间进行选择．

Polyspace代码验证程序

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

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

金宝app对行业标准的支持可以通过IEC认证工具包（适用于IEC 61508和ISO 26262）和做资格工具包（适用于DO-178）。

完整代码验证程序文档 查看所有工作流，例如： 建立分析。 审查结果并生成报告。	分析选项(Polyspace代码验证) 在分析之前查找要配置的选项，例如: 目标和编译器选项。 与验证假设相关的选项。	后果(Polyspace代码验证) 查看分析结果，例如: 运行时检查。 全局变量用法。	发布说明(Polyspace代码验证) 查看每个版本的新内容。

有关特定于桌面的工作流，请参见：

另请参阅在Polyspace Bug Finder和Polyspace代码验证器之间进行选择．

PolyspaceBug查找器服务器

Polyspace Bug查找服务器™是一个静态分析引擎，它标识C和C++中的常见错误类，包括运行时错误、并发问题和其他编码缺陷。Polyspace Bug查找服务器还检查源代码是否遵守编码规则(MISRA C、MISRA c++、JSF++)、安全规则(CWE、CERT-C、cert - c++、ISO/IEC 17961)和自定义规则。

与Polyspace Bug查找服务器您可以在项目、文件和功能级别监视代码度量，包括圈复杂度、堆栈使用情况和HIS度量。您可以配置服务器以使用各种编译器、目标处理器和RTOS环境，并使用Jenkins等工具使用持续集成系统自动执行。代码分析结果可以发布到Polyspace Bug Finder访问™用于分诊和解决。

金宝app通过IEC认证套件提供对行业标准的支持IEC认证工具包（适用于IEC 61508和ISO 26262）和DO认证套件(用于DO-178)．

有关特定于服务器的工作流，请参见:

Polyspace代码验证程序服务器

Polyspace代码验证服务器是一个声音静态分析引擎，它证明了C、C++代码中没有溢出、除以零、数组访问和某些其他运行时错误。它对所有可能的控制和数据流（包括多线程代码）进行了过程间的分析，以识别每个操作总是安全的、总是错误的、不可达的，O。r易受攻击。Polyspace代码验证服务器标识没有运行时错误、已证实失败、不可访问或未证实的代码段。

Polyspace代码验证服务器可以在服务器类机器上运行，并可以集成到构建和持续集成系统中，以便使用Jenkins等工具进行自动验证。分析结果可以发布到多空间码验证访问用于分诊和解决。

金宝app对行业标准的支持可以通过IEC认证工具包（适用于IEC 61508和ISO 26262）和做资格工具包（适用于DO-178）。

有关特定于服务器的工作流，请参见:

PolyspaceBug查找器访问

Polyspace Bug Finder访问提供用于查看静态代码分析结果的web浏览器界面。它还提供了编写代码时的Polyspace，一个插件和分析引擎，用于在集成开发环境（IDE）中执行静态代码分析，如VisualStudio^®、Visual Studio代码或Eclipse。

通过web浏览器界面，您可以查看、分配和解析由Polyspace Bug查找服务器。该界面提供项目仪表板，显示可用于监控软件质量、项目状态、缺陷数量和代码度量（如代码行、圈复杂度和递归）的信息。您还可以使用web浏览器界面在缺陷跟踪系统（如Jira和Redmine）中创建和分配票据.

Polyspace as You Code检查是否符合编码规则标准，如MISRA C、MISRA^®c++， JSF++， CERT C, CERT c++，以及代码时的自定义命名约定。它使您能够在开发的早期和不离开IDE的情况下识别关键缺陷和安全漏洞。

有关特定于web浏览器的工作流程，请参见:

有关特定于IDE的工作流，请参见：

Polyspace代码验证程序访问

多空间码验证访问为Polyspace代码验证结果提供一个web浏览器界面，以证明源代码中没有关键的运行时错误。它包括一个用于分析结果的中央存储库，支持基于团队的协作。结果Polyspace代码验证服务器可以发布到多空间码验证访问用于分类和解决。具有多空间码验证访问您可以在缺陷跟踪系统(如Jira)中创建和分配票据。

多空间码验证访问仪表板显示可用于监控软件质量的信息。仪表板可帮助您以图形方式跟踪运行时错误方面的总体项目状态，并根据软件质量目标（SQO）阈值衡量进度。

有关特定于web浏览器的工作流程，请参见: