529   ProgramStateRef State = N->getState();  in getAcquisitionSite()
537     State = N->getState();  in getAcquisitionSite()
576   ProgramStateRef State = C.getState();  in evalFopen()
606   ProgramStateRef State = C.getState();  in preFreopen()
618   ProgramStateRef State = C.getState();  in evalFreopen()
663   ProgramStateRef State = C.getState();  in evalFclose()
698   ProgramStateRef State = C.getState();  in preReadWrite()
729   ProgramStateRef State = C.getState();  in evalFreadFwrite()
808   ProgramStateRef State = C.getState();  in evalFgetx()
894   ProgramStateRef State = C.getState();  in evalFputx()
953   ProgramStateRef State = C.getState();  in evalFprintf()
995   ProgramStateRef State = C.getState();  in evalFscanf()
1058   ProgramStateRef State = C.getState();  in evalUngetc()
1098   ProgramStateRef State = C.getState();  in evalGetdelim()
1153   ProgramStateRef State = C.getState();  in preFseek()
1171   ProgramStateRef State = C.getState();  in evalFseek()
1221   ProgramStateRef State = C.getState();  in evalFgetpos()
1250   ProgramStateRef State = C.getState();  in evalFsetpos()
1287   ProgramStateRef State = C.getState();  in evalFtell()
1325   ProgramStateRef State = C.getState();  in evalRewind()
1349   ProgramStateRef State = C.getState();  in evalClearerr()
1370   ProgramStateRef State = C.getState();  in evalFeofFerror()
1409   ProgramStateRef State = C.getState();  in preDefault()
1425   ProgramStateRef State = C.getState();  in evalSetFeofFerror()
1437   ProgramStateRef State = C.getState();  in preFflush()
1452   ProgramStateRef State = C.getState();  in evalFflush()
1672   ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred);  in reportLeaks()
1712   ProgramStateRef State = C.getState();  in checkDeadSymbols()