IsNull and NullRef

This case checks for inconsistent assumptions about NULL.

Semantic matches

A semantic match finding a NULL test that precedes a dereference
A semantic match finding a NULL test that follows a dereference
A note finding semantic match. This refers to this semantic match.

Results for the case of a NULL test preceding a dereference

Linux 2.4: Results, Correlation information
Linux 2.6: Results, Correlation information

Results for the case of a NULL test following a dereference

Linux 2.4: Results, Correlation information
Linux 2.6: Results, Correlation information