主要内容

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

其他检查

标准库函数使用、指针转换和 assert 语句的检查

Polyspace® Code Prover™ 可以检查特定于某些 C/C++ 库的运行时错误,例如:

  • 使用标准库数学函数时出现域错误。

  • 使用 AUTOSAR 运行时环境或 RTE 函数时超出设计范围。

Polyspace 结果

未实现的 AUTOSAR 可运行实体Function implementing AUTOSAR runnable is not found
正确性判定条件Mismatch occurs during pointer cast or function pointer use
无效的 AUTOSAR 可运行实体实现结果Return value or output arguments violate AUTOSAR specifications
无效的 AUTOSAR 运行时环境函数使用RTE function argument violates AUTOSAR specifications
无效的标准库例程使用Standard library function is called with invalid arguments
不符合 AUTOSAR 规范RTE API function is used with arguments that violate the AUTOSAR standard specification (自 R2021a 起)
用户断言assert statement fails
模型引用的输入/输出超出指定范围Input or output of generated code from model reference outside of range specified in model

主题