多空间错误发现者

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

Polyspace错误发现者检查是否符合编码规则标准，如MISRA C^®， misra c++， jsf ++，证书^®C、Curt C++和自定义命名约定。它生成由发现的bug、代码规则冲突和代码质量度量（包括圈复杂度）组成的报告。Polyspace错误发现者可以与Eclipse一起使用™ IDE来分析桌面上的代码。

对于自动生成的代码，Polyspace结果可以追溯到Simulink万博1manbetx^®模型与数据空间^®TargetLink^®块。

万博1manbetx可通过以下途径获得对行业标准的支持：IEC认证套件(适用于ISO 26262和IEC 61508)和DO鉴定套件（适用于DO-178）．

完整的Bug查找程序文档 查看所有工作流，例如: 设置分析。 检查结果并生成报告。	分析选项(Polyspace错误发现者) 在分析之前查找要配置的选项，例如： 目标和编译器选项。 要查找的缺陷。	结果(Polyspace错误发现者) 查找从分析中获得的结果，例如： 缺陷。 编码规则。	发行说明(Polyspace错误发现者) 查看每个版本的新增功能。

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

另见在Polyspace Bug Finder和Polyspace Code Prover之间进行选择．

多空间代码验证

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

多空间码验证器显示变量和函数返回值的范围信息，并可以证明哪些变量超出了指定的范围限制。代码验证结果可用于跟踪质量指标并检查是否符合软件质量目标。多空间码验证器可与EclipseIDE一起用于验证桌面上的代码。

万博1manbetx可通过以下途径获得对行业标准的支持：IEC认证工具包(适用于IEC 61508及ISO 26262)及DO资格鉴定套件(- 178)。

完整的代码验证文件 查看所有工作流，例如: 设置分析。 检查结果并生成报告。	分析选项（多空间代码验证程序） 在分析之前查找要配置的选项，例如： 目标和编译器选项。 与验证假设相关的选项。	结果（多空间代码验证程序） 查找从分析中获得的结果，例如： 运行时检查。 全局变量的使用。	发行说明（多空间代码验证程序） 查看每个版本的新增功能。

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

另见在Polyspace Bug Finder和Polyspace Code Prover之间进行选择．

多空间错误发现者服务器

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

具有Polyspace Bug Finder服务器您可以在项目、文件和功能级别监控代码度量，包括圈复杂度、堆栈使用情况和HIS度量。您可以将服务器配置为与各种编译器、目标处理器和RTOS环境一起使用，并使用诸如Jenkins之类的工具通过连续集成系统自动执行。代码分析结果可以发布到Polyspace Bug Finder Access™用于分诊和解决。

万博1manbetx可通过IEC认证套件获得对行业标准的支持IEC认证工具包(适用于IEC 61508及ISO 26262)及DO鉴定套件（适用于DO-178）．

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

多空间代码验证服务器

Polyspace代码验证服务器是一个可靠的静态分析引擎，它证明了C和c++代码中没有溢出、被零除、越界、数组访问和某些其他运行时错误。它对所有可能的控制和数据流(包括多线程代码)执行过程间分析，以确定每个操作始终是安全的、始终是错误的、不可访问的或脆弱的。Polyspace代码验证服务器标识没有运行时错误、经验证失败、无法访问或未经验证的代码段。

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

万博1manbetx可通过以下途径获得对行业标准的支持：IEC认证工具包(适用于IEC 61508及ISO 26262)及DO资格鉴定套件(- 178)。

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

多空间错误发现者通道

Polyspace Bug查找器访问提供一个web浏览器界面，用于检查静态代码分析结果。它还提供了Polyspace as You Code，这是一个插件和分析引擎，用于在集成开发环境(IDE)(如Visual Studio)中执行静态代码分析^®、Visual Studio Code或Eclipse。

web浏览器界面允许您查看、分配和解析由生成的代码分析结果Polyspace Bug Finder服务器．该接口提供了显示信息的项目仪表板，您可以使用这些信息来监视软件质量、项目状态、缺陷数量和代码度量，如代码行数、圈复杂度和递归。你也可以使用web浏览器界面在缺陷跟踪系统(如Jira和Redmine)中创建和分配票据。

编写代码时检查Polyspace是否符合MISRA C、MISRA等编码规则标准^®在代码中，C++、JSF++、CURT C、CURT C++和自定义命名约定。它使您能够在开发早期识别关键缺陷和安全漏洞，而无需离开IDE。

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

有关ide特定的工作流程，请参见:

多空间代码验证通道

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

Polyspace代码验证器访问指示板显示可用于监视软件质量的信息。仪表板帮助您图形化地根据运行时错误跟踪整个项目状态，并根据软件质量目标(SQO)阈值度量进度。

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