Polyspace错误发现者

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

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

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

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

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

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

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

Polyspace代码验证

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

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

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

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

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

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

Polyspace错误发现者服务器

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 Access™用于分诊和解决。

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

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

Polyspace代码验证服务器

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

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

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

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

Polyspace错误发现者访问

Polyspace Bug查找器访问提供一个web浏览器界面，用于检查静态代码分析结果。它还提供了Polyspace as You Code，这是一个插件和分析引擎，用于在集成开发环境(IDE)(如Visual Studio)中执行静态代码分析^®、Visual Studio Code或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代码验证器访问为Polyspace代码验证结果提供一个web浏览器界面，以证明源代码中没有关键的运行时错误。它包括一个用于分析结果的中央存储库，支持基于团队的协作。结果Polyspace代码验证服务器可以发布到Polyspace代码验证器访问用于分诊和解决。与Polyspace代码验证器访问您可以在缺陷跟踪系统(如Jira)中创建和分配票据。

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

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