Are there any tools for checking statement compilation time in C ++?

Question

I wrote a function in C ++ the other day, and it occurred to me that the compiler could do much more to help me protect myself from errors. The basics of my code were like this:

void method(SomeType* p)
{
    assert(p != 0);
    p->something();
}

And he is called like that

SomeType p = NULL;
if (SomeCondition)
{
    p = some_real_value;
}

method(p);

Obviously, p can be null at runtime, and therefore the statement that the method does not work in the debug build. My mistake.

However, it seems possible that the compiler could catch this during compilation and issued a warning that it found that it found that this statement could be violated.

, , , , NULL .

, , , , , , , , .

, , , , : -

assert(index >= 0 && index < array_size);

, , .

, , , , , , , ? - Google, , - ? , , ?

Answer 1

, PC-lint, . http://www.gimpel.com/html/pcl.htm

: , NULL . : = NULL.

Answer 2

Boost . :

#include <boost/static_assert.hpp>
...
BOOST_STATIC_ASSERT(1 > 0);

Boost , , .

Answer 3

, ​​, . Coverity ( , "", ), , ( ++).

For Java, FindBugs is a great static analysis tool (not as comprehensive as Coverity, but you don't have to mortgage your home to use it).