Polyspace错误查找器

Polyspace^®Bug Finder™identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software. Using static analysis, including semantic analysis,polyspace错误查找器analyzes software control, data flow, and interprocedural behavior. By highlighting defects as soon as they are detected, it lets you triage and fix bugs early in the development process.

polyspace错误查找器检查符合编码规则标准，例如Misra C^®，Misra C ++，JSF ++，证书^®C, CERT C++, and custom naming conventions. It generates reports consisting of bugs found, code-rule violations, and code quality metrics, including cyclomatic complexity.polyspace错误查找器can be used with the Eclipse™ IDE to analyze code on your desktop.

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

Support for industry standards is available throughIEC认证套件（对于ISO 26262和IEC 61508）和做什么alification Kit (for DO-178)。

Full Bug Finder documentation 例如，查看所有工作流程： 设置分析。 审查结果并生成报告。	分析选项(polyspace错误查找器) Look up options to configure before analysis, for instance: 目标和编译器选项。 Defects to look for.	结果(polyspace错误查找器) Look up results that you get from an analysis, for instance: Defects. 编码规则。	Release notes(polyspace错误查找器) See what’s new for each release.

对于桌面特定的工作流程，请参阅：

See alsoChoose Between Polyspace Bug Finder and Polyspace Code Prover。

Polyspace代码鄙视

Polyspace Code Prover™是一种声音静态分析工具，它证明了C和C ++源代码中没有溢出，按零划分，偏置阵列访问以及其他运行时错误。它在不需要程序执行，代码仪器或测试用例的情况下产生结果。Polyspace Code Prover使用基于正式方法的语义分析和抽象解释来验证软件解体，控制和数据流动行为。您可以使用它来验证手写代码，生成的代码或两者的组合。每个代码语句均进行颜色编码，以指示它是否没有运行时错误，被证明是失败，无法到达的或未经证实的。

Polyspace Code Proverdisplays range information for variables and function 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 Code Provercan be used with the Eclipse IDE to verify code on your desktop.

Support for industry standards is available throughIEC Certification Kit（对于IEC 61508和ISO 26262）和做什么alification Kit（对于DO-178）。

完整的代码供摊贩文档 例如，查看所有工作流程： 设置分析。 审查结果并生成报告。	分析选项(Polyspace Code Prover) Look up options to configure before analysis, for instance: 目标和编译器选项。 选择相关验证假设。	结果(Polyspace Code Prover) Look up results that you get from an analysis, for instance: 运行时间检查。 全局可变用法。	Release notes(Polyspace Code Prover) See what’s new for each release.

对于桌面特定的工作流程，请参阅：

See alsoChoose Between Polyspace Bug Finder and Polyspace Code Prover。

Polyspace错误查找器Server

polyspace错误查找器Server™是一种静态分析引擎，可以识别C和C ++中的常见类别的错误类别，包括运行时错误，并发问题和其他编码缺陷。polyspace错误查找器Serveralso checks source code for adherence to coding rules (MISRA C, MISRA C++, JSF++), security rules (CWE, CERT-C, CERT-C++, ISO/IEC 17961), and custom rules.

和polyspace错误查找器Serveryou can monitor code metrics including cyclomatic complexity, stack usage, and HIS metrics at the project, file, and function levels. You can configure the server for use with various compilers, target processors, and RTOS environments, and automate execution with continuous integration systems using tools such as Jenkins. Code analysis results can be published topolyspace bug Finder Access™用于分类和解决方案。

Support for industry standards is available through IEC Certification KitIEC Certification Kit（对于IEC 61508和ISO 26262）和做什么alification Kit (for DO-178)。

For server-specific workflows, see:

Polyspace代码鄙视Server

Polyspace代码供服务器是一款声音静态分析引擎，证明了C和C ++代码中没有溢出，按零，距离，阵列访问以及某些其他运行时错误。它对所有可能的控制和数据流（包括多线程代码）进行概解分析，以确定每个操作，始终是安全，始终有缺陷，无法到达或易受伤害的情况。Polyspace代码供服务器identifies code segments that are free of run-time errors, proven to fail, unreachable, or unproven.

Polyspace代码供服务器可以在服务器级计算机上运行，​​并可以将其集成到使用Jenkins等工具的自动验证中的构建和连续集成系统中。分析结果可以发布到Polyspace代码供供访问权限用于分类和解决方案。

Support for industry standards is available throughIEC Certification Kit（对于IEC 61508和ISO 26262）和做什么alification Kit（对于DO-178）。

For server-specific workflows, see:

Polyspace错误查找器Access

polyspace错误查找器访问提供一个Web浏览器接口，用于查看静态代码分析结果。它还在代码时提供多元空间，用于从集成开发环境（IDE）（例如Visual Studio）执行静态代码分析的插件和分析引擎^®，Visual Studio代码或Eclipse。

The web browser interface lets you review, assign, and resolve code analysis results produced bypolyspace错误查找器Server。该界面提供项目仪表板，显示您可以使用这些信息来监视软件质量，项目状态，缺陷数量以及代码指标，例如代码，环形复杂性和递归等代码指标。您还可以使用Web浏览器接口在缺陷跟踪系统（例如JIRA和Redmine）中创建和分配票务。

Polyspace as You Code checks compliance with coding rule standards such as MISRA C, MISRA^®C++, JSF++, CERT C, CERT C++, and custom naming conventions while you code. It enables you to identify critical defects and security vulnerabilities early in development and without leaving your IDE.

For web-browser-specific workflows, see:

对于特定于IDE的工作流程，请参阅：

Polyspace代码鄙视Access

Polyspace代码供供访问权限provides a web browser interface to Polyspace code verification results proving the absence of critical run-time errors in source code. It includes a central repository for analysis results that enables team-based collaboration. Results fromPolyspace代码供服务器can be published toPolyspace代码供供访问权限用于分类和解决方案。和Polyspace代码供供访问权限you can create and assign tickets in defect-tracking systems such as Jira.

Polyspace代码供供访问权限仪表板显示您可以用来监视软件质量的信息。仪表板可帮助您按照运行时错误的图形跟踪整体项目状态，并衡量针对软件质量目标（SQO）阈值的进度。

For web-browser-specific workflows, see: