运行时检查
运行时错误检查的说明和示例
Polyspace® Code Prover™ 运行时检查会尝试证明 C/C++ 代码中存在或不存在特定类型的运行时错误。Code Prover 分析基于抽象解释来标记运行时错误,无需代码执行、代码插桩,也不需要测试用例。明确的错误在分析结果中显示为红色,没有错误显示为绿色,可能的错误或不确定的结果显示为橙色。另请参阅Code Prover 结果和源代码颜色。
Polyspace 会标记以下运行时问题:
使用这些类别来了解代码中可能出现的运行时错误以及如何解决它们。