96   ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
98   ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
211   ProgramStateRef state = C.getState();  in OpenFileAux()
222   ProgramStateRef stateNotNull, stateNull;  in OpenFileAux()
238   ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C);  in Fclose()
244   ProgramStateRef state = C.getState();  in Fread()
250   ProgramStateRef state = C.getState();  in Fwrite()
256   ProgramStateRef state = C.getState();  in Fseek()
282   ProgramStateRef state = C.getState();  in Ftell()
288   ProgramStateRef state = C.getState();  in Rewind()
294   ProgramStateRef state = C.getState();  in Fgetpos()
300   ProgramStateRef state = C.getState();  in Fsetpos()
306   ProgramStateRef state = C.getState();  in Clearerr()
312   ProgramStateRef state = C.getState();  in Feof()
318   ProgramStateRef state = C.getState();  in Ferror()
324   ProgramStateRef state = C.getState();  in Fileno()
329 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state,  in CheckNullStream()
336   ProgramStateRef stateNotNull, stateNull;  in CheckNullStream()
352 ProgramStateRef StreamChecker::CheckDoubleClose(const CallExpr *CE,  in CheckDoubleClose()
353                                                ProgramStateRef state,  in CheckDoubleClose()
386   ProgramStateRef state = C.getState();  in checkDeadSymbols()