Polyspace臭虫查找器

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

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

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

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

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

有关桌面特定的工作流程，请参阅：

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

Polyspace代码箴言

Polyspace代码验证™是一个声音静态分析工具，证明了缺乏溢出，your your off-undss array Access以及C和C ++源代码中的其他运行时错误。它会产生结果而不需要程序执行，代码仪器或测试用例。Polyspace代码验证使用基于形式方法的语义分析和抽象解释来验证软件移植，控制和数据流动行为。您可以使用它来验证手写代码，生成的代码或两者的组合。每个代码语句都被颜色编码，以指示它是否没有运行时错误，已被证明是失败，无法访问或未经证实。

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

金宝app对行业标准的支持可以通过IEC认证工具包（对于IEC 61508和ISO 26262）和做资格工具包（对于do-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）和做资格工具包（对于do-178）。

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

Polyspace臭虫查找器访问

PolySpace Bug Finder访问提供了一个用于查看静态代码分析结果的Web浏览器界面。它还为您的代码，用于从集成开发环境（IDE）内的静态代码分析（如Visual Studio）提供多彩和分析引擎。^®，Visual Studio代码或Eclipse。

通过web浏览器界面，您可以查看、分配和解析由Polyspace Bug查找服务器．该接口提供了项目仪表板，显示您可以用于监视软件质量，项目状态，缺陷数量和代码度量等信息，例如代码行，循环复杂性和递归。您还可以使用Web浏览器界面在缺陷跟踪系统中创建和分配票证，例如Jira和Redmine。

Polyspace as You Code检查是否符合编码规则标准，如MISRA C、MISRA^®c++， JSF++， CERT C, CERT c++，以及代码时的自定义命名约定。它使您能够在开发的早期和不离开IDE的情况下识别关键缺陷和安全漏洞。

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

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

Polyspace代码箴言访问

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

PolySpace代码先驱访问权限仪表板显示您可以用于监控软件质量的信息。仪表板可帮助您以运行时误差在图形方式跟踪整体项目状态，并测量对软件质量目标的进展（SQO）阈值。

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