C++ 检查
特定于 C++ 代码的检查
Polyspace® Code Prover™ 中的 C++ 特定检查用于检查源于 C++ 特定范式的运行时错误，例如，面向对象的编程和异常处理。这些错误大多数不会出现在 C 代码中。
Polyspace 结果
不正确的面向对象编程 | Dynamic type of this pointer is incorrect |
无效的 C++ 特定运算 | C++ specific invalid operations occur |
未返回值的函数 | C++ 函数在预期应返回值时未返回值 |
调用方法的 this 指针为空 | 成员函数调用期间 this 指针为空 |
未捕获异常 | Exception propagates uncaught to the main or another entry-point
function |
主题
- Review and Fix Invalid C++ Specific Operations Checks
Determine root cause of nonpositive array size or incorrect usage of
typeidordynamic_castoperator. - Review and Fix Uncaught Exception Checks
Investigate how an exception can escape uncaught from the function where it is thrown.
- Review and Fix Function Not Returning Value Checks
Identify paths through your function body that do not end in a
returnstatement. - Review and Fix Null This-pointer Calling Method Checks
Investigate why the pointer to the current object can be
NULL-valued. - Review and Fix Incorrect Object Oriented Programming Checks
Investigate why a certain
virtualmember call orthispointer usage represents an incorrect pattern of object oriented programming.
