波尔盖斯错误发现者

波尔盖斯^®错误发现者™标识运行时错误，并发问题，安全漏洞以及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-178）．

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

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

也可以看看在PolySpace Bug Finder和PolySpace代码抄本中选择．

波尔盖斯代码验证

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

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

金宝app通过支持行业标准IEC认证套件(适用于IEC 61508及ISO 26262)及做资格套件(- 178)。

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

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

也可以看看在PolySpace Bug Finder和PolySpace代码抄本中选择．

波尔盖斯错误发现者服务器

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

和PolySpace Bug Finder Server您可以监视包括循环复杂性，堆栈使用情况和项目，文件和功能级别的循环复杂性，堆栈用法和他的指标的代码度量。您可以将服务器配置为与各种编译器，目标处理器和RTOS环境一起使用，并使用jenkins等工具自动执行与连续集成系统。代码分析结果可以发布到Polyspace Bug Finder Access™用于分诊和解决。

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

对于特定于服务器的工作流程，请参阅：

波尔盖斯代码验证服务器

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

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

金宝app通过支持行业标准IEC认证套件(适用于IEC 61508及ISO 26262)及做资格套件(- 178)。

对于特定于服务器的工作流程，请参阅：

波尔盖斯错误发现者使用权

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

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

PolySpace根据您的代码检查遵守编码规则标准，如Misra C，Misra^®C ++，JSF ++，CERT C，CERT C ++以及代码时的自定义命名约定。它使您可以在发布早期识别关键缺陷和安全漏洞，而不会留下您的IDE。

对于特定于Web浏览器的工作流程，请参阅：

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

波尔盖斯代码验证使用权

Polyspace代码验证器访问为PolySpace代码验证结果提供Web浏览器界面，证明源代码中没有关键运行时错误。它包括一个用于分析结果的中央存储库，其支持基于团队的协作。结果来自Polyspace代码验证服务器可以发布Polyspace代码验证器访问用于分诊和解决。和Polyspace代码验证器访问您可以在诸如JIRA等缺陷跟踪系统中创建和指定票证。

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

对于特定于Web浏览器的工作流程，请参阅：