This case checks that NULL return values are tested before being derferenced.
finding functions that indirectly may block. This includes the following
. It is iterated using a
finding calls to the above functions inside one set of locks.
finding calls to the above functions.
List of functions considered for