PolyspaceBug Finder

Polyspace^®Bug Finder™确定C和C ++嵌入式软件中的运行时错误，并发问题，安全漏洞和其他缺陷。使用静态分析，包括语义分析，PolyspaceBug Finder分析软件控制，数据流和概括性行为。通过一旦发现缺陷，它就可以在开发过程的早期进行分类和修复错误。

PolyspaceBug Finderchecks compliance with coding rule standards such as MISRA C^®, MISRA C++, JSF++, CERT^®C，CERT C ++和自定义命名约定。它生成了由发现的错误，违反代码规则和代码质量指标（包括循环复杂性）组成的报告。PolyspaceBug Finder可以与Eclipse™IDE一起使用，以分析桌面上的代码。

For automatically generated code, Polyspace results can be traced back to Simulink^®模型和DSPACE^®TargetLink^®blocks.

金宝app可以通过IEC认证套件（（for ISO 26262 and IEC 61508)and做资格套件（DO-178）。

完整的错误查找器文档 See all workflows, for instance: Setting up analysis. Reviewing results and generating reports.	Analysis options（（PolyspaceBug Finder） 例如，在分析之前查找要配置的选项，例如： Target & compiler options. 寻找的缺陷。	Results（（PolyspaceBug Finder） 从分析中查找结果，例如： 缺陷。 Coding rules.	发行说明（（PolyspaceBug Finder） 查看每个版本的新功能。

For desktop-specific workflows, see:

也可以看看在polyspace bug发现器和polyspace代码供供体之间进行选择。

PolyspaceCode Prover

Polyspace Code Prover™is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in C and C++ source code. It produces results without requiring program execution, code instrumentation, or test cases.Polyspace代码供供商品uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior. You can use it to verify handwritten code, generated code, or a combination of the two. Each code statement is color-coded to indicate whether it is free of run-time errors, proven to fail, unreachable, or unproven.

Polyspace代码供供商品显示范围变量和功能的信息ion return values, and can prove which variables exceed specified range limits. Code verification results can be used to track quality metrics and check conformance with your software quality objectives.Polyspace代码供供商品可以与Eclipse IDE一起使用以验证桌面上的代码。

金宝app可以通过IEC认证套件（（for IEC 61508 and ISO 26262) and做资格套件（（for DO-178).

Full Code Prover documentation See all workflows, for instance: Setting up analysis. Reviewing results and generating reports.	Analysis options（Polyspace代码供供代码） 例如，在分析之前查找要配置的选项，例如： Target & compiler options. 与验证假设有关的选项。	Results（Polyspace代码供供代码） 从分析中查找结果，例如： Run-time checks. Global variable usage.	发行说明（Polyspace代码供供代码） 查看每个版本的新功能。

For desktop-specific workflows, see:

也可以看看在polyspace bug发现器和polyspace代码供供体之间进行选择。

PolyspaceBug Finder服务器

Polyspace Bug Finder Server™is a static analysis engine that identifies common classes of bugs in C and C++, including run-time errors, concurrency issues, and other coding defects.polyspace错误查找器服务器还要检查源代码是否遵守编码规则（Misra C，Misra C ++，JSF ++），安全规则（CWE，CERT-C，CERT-C，CERT-C ++，ISO/IEC 17961）和自定义规则。

和polyspace错误查找器服务器您可以监视代码指标，包括循环复杂性，堆栈使用情况以及他在项目，文件和功能级别上的指标。您可以配置服务器，以与各种编译器，目标处理器和RTOS环境一起使用，并使用诸如Jenkins之类的工具使用连续集成系统自动执行。代码分析结果可以发布到PolyspaceBug Finder Access™用于分类和解决方案。

金宝app可以通过IEC认证套件获得对行业标准的支持IEC认证套件（（for IEC 61508 and ISO 26262) and做资格套件（DO-178）。

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

PolyspaceCode Prover服务器

Polyspace代码供供商品服务器is a sound static analysis engine that proves the absence of overflow, divide-by-zero, out-of-bounds, array access, and certain other run-time errors in C and C++ code. It performs interprocedural analysis of all possible control and data flows, including multi-threaded code, to identify each operation as always safe, always faulty, unreachable, or vulnerable.Polyspace代码供供商品服务器标识没有运行时错误的代码段，被证明是失败，无法实现或未经证实的。

Polyspace代码供供商品服务器can run on a server-class machine and can be integrated into build and continuous integration systems for automated verification using tools such as Jenkins. The analysis results can be published toPolyspace代码供供商品使用权用于分类和解决方案。

金宝app可以通过IEC认证套件（（for IEC 61508 and ISO 26262) and做资格套件（（for DO-178).

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

PolyspaceBug Finder使用权

PolyspaceBug Finder Accessprovides a web browser interface for reviewing static code analysis results. It also provides Polyspace as You Code, a plug-in and analysis engine for performing static code analysis from within an integrated development environment (IDE) such as Visual Studio^®, Visual Studio Code, or Eclipse.

Web浏览器接口使您可以查看，分配和解析由由polyspace错误查找器服务器。The interface provides project dashboards displaying information that you can use to monitor software quality, project status, number of defects, and code metrics such as lines of code, cyclomatic complexity, and recursion. You can also use the web browser interface to create and assign tickets in defect-tracking systems such as Jira and Redmine.

Polyspace在代码检查符合编码规则标准时，例如Misra C，Misra^®代码时，C ++，JSF ++，CERT C，CERT C ++和自定义命名约定。它使您能够在开发的早期且不离开IDE时识别关键的缺陷和安全漏洞。

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

For IDE-specific workflows, see:

PolyspaceCode Prover使用权

Polyspace代码供供商品使用权为Polyspace代码验证结果提供了Web浏览器接口，证明了源代码中没有关键运行时错误。它包括一个中央存储库，用于分析结果，以实现基于团队的协作。由于。。。导致的结果Polyspace代码供供商品服务器can be published toPolyspace代码供供商品使用权用于分类和解决方案。和Polyspace代码供供商品使用权您可以在JIRA等缺陷跟踪系统中创建和分配门票。

Polyspace代码供供商品使用权dashboards display information that you can use to monitor software quality. The dashboards help you graphically track overall project status in terms of run-time errors and measure progress against Software Quality Objectives (SQO) thresholds.

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