主要内容

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

静态内存检查

内存访问检查

Polyspace® Code Prover™ 中的静态内存检查用于检查与静态分配内存相关的运行时错误,例如,超出边界的数组访问或指针解引用。

Polyspace 结果

使用绝对地址Absolute address is assigned to pointer
非法解引用指针Pointer is dereferenced outside bounds
数组索引越界对数组的访问超出数组范围

主题