Lines Matching refs:CheckNullStream
96 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
245 if (!CheckNullStream(C.getSVal(CE->getArg(3)), state, C)) in Fread()
251 if (!CheckNullStream(C.getSVal(CE->getArg(3)), state, C)) in Fwrite()
257 if (!(state = CheckNullStream(C.getSVal(CE->getArg(0)), state, C))) in Fseek()
283 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Ftell()
289 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Rewind()
295 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Fgetpos()
301 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Fsetpos()
307 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Clearerr()
313 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Feof()
319 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Ferror()
325 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C)) in Fileno()
329 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state, in CheckNullStream() function in StreamChecker