Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

运行时检查

运行时错误检查的说明和示例

Polyspace® Code Prover™ 运行时检查会尝试证明 C/C++ 代码中存在或不存在特定类型的运行时错误。Code Prover 分析基于抽象解释来标记运行时错误，无需代码执行、代码插桩，也不需要测试用例。明确的错误在分析结果中显示为红色，没有错误显示为绿色，可能的错误或不确定的结果显示为橙色。另请参阅Code Prover 结果和源代码颜色。

Polyspace 会标记以下运行时问题：

  • 数据流检查：这些问题与代码中的信息流相关。

  • 数值检查：这些问题与算术运算相关。示例包括上溢和除以零。

  • 静态内存检查：这些问题源于静态内存管理，例如，超出边界的数组访问或指针解引用。

  • 控制流检查：这些问题源于控制流中会导致运行时错误的更改。

  • C++ 检查：这些问题源于 C++ 特定惯例，例如，面向对象的编程或异常处理。

  • 其他检查：这些问题源于对某些 C/C++ 库的使用。

使用这些类别来了解代码中可能出现的运行时错误以及如何解决它们。

类别