Null

This case checks that NULL return values are tested before being derferenced.

A semantic match finding functions that indirectly may block. This includes the following semantic match. It is iterated using a script.
A semantic match finding calls to the above functions inside one set of locks.
A note-finding semantic match finding calls to the above functions.