Null pointers, one month later

Null pointers, one month later

No, not really. When Coverity reports that a deference of a pointer precedes, rather than follows, a test to see if that pointer is null, this doesn't tell you whether or not it is possible for a real null pointer to reach that point. It's possible that the compare against null is redundant.

On the other hand, it does give a code auditor, or a black hat, a starting point to look for an exploitable problem.