C/C++ specific Analysis

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