164                                    const CallEvent &, CheckerContext &)>;
184 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) {  in makeRetVal()
193 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C,  in bindAndAssumeTrue()
203                         CheckerContext &C, const CallExpr *CE) {  in bindInt()
224   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
225   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
226   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
282                  CheckerContext &C) const;
285                   CheckerContext &C) const;
287                    CheckerContext &C) const;
290                   CheckerContext &C) const;
293                 CheckerContext &C) const;
296                  CheckerContext &C) const;
299                        CheckerContext &C, bool IsFread) const;
302                 CheckerContext &C) const;
304                  CheckerContext &C) const;
307                   CheckerContext &C) const;
310                     CheckerContext &C) const;
313                       CheckerContext &C,
317                          CheckerContext &C,
325                                       CheckerContext &C,
331   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
341   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
348   ProgramStateRef ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,
355   void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
362                             CheckerContext &C, ExplodedNode *Pred) const;
396   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()
401   const NoteTag *constructSetEofNoteTag(CheckerContext &C,  in constructSetEofNoteTag()
418                                                 CheckerContext &C);
435                                                       CheckerContext &C) {  in getAcquisitionSite()
459                                  CheckerContext &C) const {  in checkPreCall()
467 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
480                               CheckerContext &C) const {  in evalFopen()
509                                CheckerContext &C) const {  in preFreopen()
522                                 CheckerContext &C) const {  in evalFreopen()
567                                CheckerContext &C) const {  in evalFclose()
588                              CheckerContext &C) const {  in preFread()
613                               CheckerContext &C) const {  in preFwrite()
631                                     const CallEvent &Call, CheckerContext &C,  in evalFreadFwrite()
711                              CheckerContext &C) const {  in preFseek()
729                               CheckerContext &C) const {  in evalFseek()
771                                  CheckerContext &C) const {  in evalClearerr()
791                                    const CallEvent &Call, CheckerContext &C,  in evalFeofFerror()
831                                CheckerContext &C) const {  in preDefault()
846                                       const CallEvent &Call, CheckerContext &C,  in evalSetFeofFerror()
860                                    CheckerContext &C,  in ensureStreamNonNull()
886                                                   CheckerContext &C,  in ensureStreamOpened()
932     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()
977 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,  in ensureFseekWhenceCorrect()
999 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()
1016                            CheckerContext &C, ExplodedNode *Pred) const {  in reportLeaks()
1054                                      CheckerContext &C) const {  in checkDeadSymbols()