静态内存检查
内存访问检查
Polyspace® Code Prover™ 中的静态内存检查用于检查与静态分配内存相关的运行时错误，例如，超出边界的数组访问或指针解引用。
Polyspace 结果
主题
- Review and Fix Absolute Address Usage Checks
Review uses of absolute address in your code and make sure that the addresses are valid.
- Review and Fix Illegally Dereferenced Pointer Checks
Review prior operations in your code that lead to a pointer pointing outside its allocated memory buffer.
- Review and Fix Out of Bounds Array Index Checks
Review prior operations in your code that lead to an array index being greater than or equal to array size.
- Find Relations Between Variables in Code
Determine if the variables in any operation are related from some previous operation.
