151                                    const CallEvent &, CheckerContext &)>;
171 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) {  in makeRetVal()
180 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C,  in bindAndAssumeTrue()
190                         CheckerContext &C, const CallExpr *CE) {  in bindInt()
211   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
212   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
213   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
267                  CheckerContext &C) const;
270                   CheckerContext &C) const;
272                    CheckerContext &C) const;
275                   CheckerContext &C) const;
278                 CheckerContext &C) const;
281                  CheckerContext &C) const;
284                        CheckerContext &C, bool IsFread) const;
287                 CheckerContext &C) const;
289                  CheckerContext &C) const;
292                   CheckerContext &C) const;
295                     CheckerContext &C) const;
298                       CheckerContext &C,
302                          CheckerContext &C,
309   ProgramStateRef ensureStreamNonNull(SVal StreamVal, CheckerContext &C,
315   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
325   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
332   ProgramStateRef ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,
339   void reportFEofWarning(CheckerContext &C, ProgramStateRef State) const;
345                             CheckerContext &C, ExplodedNode *Pred) const;
379   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()
388                                                 CheckerContext &C);
402                                                       CheckerContext &C) {  in getAcquisitionSite()
422                                  CheckerContext &C) const {  in checkPreCall()
430 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
443                               CheckerContext &C) const {  in evalFopen()
472                                CheckerContext &C) const {  in preFreopen()
484                                 CheckerContext &C) const {  in evalFreopen()
528                                CheckerContext &C) const {  in evalFclose()
549                              CheckerContext &C) const {  in preFread()
573                               CheckerContext &C) const {  in preFwrite()
590                                     const CallEvent &Call, CheckerContext &C,  in evalFreadFwrite()
671                              CheckerContext &C) const {  in preFseek()
688                               CheckerContext &C) const {  in evalFseek()
730                                  CheckerContext &C) const {  in evalClearerr()
750                                    const CallEvent &Call, CheckerContext &C,  in evalFeofFerror()
790                                CheckerContext &C) const {  in preDefault()
804                                       const CallEvent &Call, CheckerContext &C,  in evalSetFeofFerror()
817 StreamChecker::ensureStreamNonNull(SVal StreamVal, CheckerContext &C,  in ensureStreamNonNull()
840                                                   CheckerContext &C,  in ensureStreamOpened()
886     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()
931 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,  in ensureFseekWhenceCorrect()
953 void StreamChecker::reportFEofWarning(CheckerContext &C,  in reportFEofWarning()
968                            CheckerContext &C, ExplodedNode *Pred) const {  in reportLeaks()
1006                                      CheckerContext &C) const {  in checkDeadSymbols()