Static verification analyzes C/C++ source code and checks for various kinds of errors, warnings, and/or debatable points in your program. It also points out places of improper code style and flaws in object-oriented design solutions.
Static verification detects issues with the following:
The following example illustrates C/C++ specific analysis.
Example: constructor/copy constructor/destructor/assignment operator issues
class C {
public:
explicit C(int data) : _data(data) {}
C(const C& rhs) { _data = rhs._data; }
int data() { return _data; }
private:
int _data;
};
Static verification issues the following message:
warning #12233: [SV] class "C": copy constructor is defined but assignment operator and destructor are not