Lines Matching defs:state
212 ProgramStateRef state = C.getState(); in OpenFileAux() local
239 ProgramStateRef state = CheckDoubleClose(CE, C.getState(), C); in Fclose() local
245 ProgramStateRef state = C.getState(); in Fread() local
252 ProgramStateRef state = C.getState(); in Fwrite() local
259 ProgramStateRef state = C.getState(); in Fseek() local
286 ProgramStateRef state = C.getState(); in Ftell() local
293 ProgramStateRef state = C.getState(); in Rewind() local
300 ProgramStateRef state = C.getState(); in Fgetpos() local
307 ProgramStateRef state = C.getState(); in Fsetpos() local
314 ProgramStateRef state = C.getState(); in Clearerr() local
321 ProgramStateRef state = C.getState(); in Feof() local
328 ProgramStateRef state = C.getState(); in Ferror() local
335 ProgramStateRef state = C.getState(); in Fileno() local
341 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state, in CheckNullStream()
365 ProgramStateRef state, in CheckDoubleClose()
403 ProgramStateRef state = C.getState(); in checkDeadSymbols() local