提高分析精度

请提供有关您代码的更多信息，以提高分析结果的精度

为了减少 Polyspace® Bug Finder™ 中的假正和假负结果，您可以：

  • 指定代码行为 - 提供有关您的代码行为的更多信息。约束变量范围并提供有关部分代码的额外信息。例如，您可以将某些代码块标识为汇编代码，并将函数指定为实时函数。有了关于代码行为的额外信息，Polyspace 结果会更精确。

  • 修改 Bug Finder 假设 - 修改默认的 Bug Finder 分析假设。通过修改分析假设，您可以调整分析，使其更贴合您的用例。

类别

  • 指定代码行为
    指定代码行为（例如变量范围、库使用情况和其他信息），以减少 Polyspace Bug Finder 分析中的假正和假负结果
  • 修改 Bug Finder 分析假设
    修改默认的 Polyspace Bug Finder 分析假设