配置

模拟编译、指定或创建检查项，并提供从 Bug Finder 获得最佳结果所需的其他信息

要将 Polyspace® Bug Finder™ 有效集成到软件开发工作流中，请设置适当的分析选项以获得最佳结果。尤其是：

  • 通过使用编译系统创建 Polyspace 工程或选项文件，或者通过显式指定编译器、数据类型大小以及其他与静态分析相关的编译选项，来模拟源代码编译。

  • 基于编码标准（例如 MISRA C™ 或 CERT® C）指定检查项，或者从 Bug Finder 提供的预定义缺陷检查项中进行选择。您还可以针对特定于代码库的问题创建检查项，并将这些检查项与预定义的检查项一起打包到您自己的编码标准中。

  • 通过在源代码之外提供额外的语义信息来修改检查项的默认行为。

您可以使用 Polyspace 平台工程、命令行标志或选项文件来配置 Bug Finder。请参阅：

类别

相关信息