One of the warnings CodeSonar^® issued in analyzing the open-source findutils program was the Null Pointer Dereference warning shown in the screenshot fragment below.

The re_acquire_state() call on line 1809 can return NULL, setting the variable state to NULL. When this happens, the dereference of state on line 1813 is a null-pointer dereference. While there is some error checking on line 1810, it turns out that the error code is not set by re_acquire_state() in the case where NULL is returned. By clicking on the plus symbol on line 1809, a user can actually drill down into the body of re_acquire_state() and see the path taken. The body of re_acquire_state() is inlined for display purposes.