166                                    const CallEvent &, CheckerContext &)>;
186 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) {  in makeRetVal()
195 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C,  in bindAndAssumeTrue()
205                         CheckerContext &C, const CallExpr *CE) {  in bindInt()
226   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
227   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
228   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
332                  CheckerContext &C) const;
335                   CheckerContext &C) const;
337                    CheckerContext &C) const;
340                   CheckerContext &C) const;
343                     CheckerContext &C, bool IsRead) const;
346                        CheckerContext &C, bool IsFread) const;
349                  CheckerContext &C, bool SingleChar) const;
352                  CheckerContext &C, bool IsSingleChar) const;
355                    CheckerContext &C) const;
358                   CheckerContext &C) const;
361                   CheckerContext &C) const;
364                     CheckerContext &C) const;
367                 CheckerContext &C) const;
369                  CheckerContext &C) const;
372                    CheckerContext &C) const;
375                    CheckerContext &C) const;
378                  CheckerContext &C) const;
381                   CheckerContext &C) const;
384                   CheckerContext &C) const;
387                     CheckerContext &C) const;
390                       CheckerContext &C,
394                          CheckerContext &C,
398                  CheckerContext &C) const;
401                   CheckerContext &C) const;
408                                       CheckerContext &C,
414   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
424   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
431   ProgramStateRef ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,
438   void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
445                             CheckerContext &C, ExplodedNode *Pred) const;
465   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()
475   const NoteTag *constructSetEofNoteTag(CheckerContext &C,  in constructSetEofNoteTag()
488   void initMacroValues(CheckerContext &C) const {  in initMacroValues()
512                                                 CheckerContext &C);
528                                                       CheckerContext &C) {  in getAcquisitionSite()
552                                  CheckerContext &C) const {  in checkPreCall()
562 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
575                               CheckerContext &C) const {  in evalFopen()
604                                CheckerContext &C) const {  in preFreopen()
617                                 CheckerContext &C) const {  in evalFreopen()
662                                CheckerContext &C) const {  in evalFclose()
696                                  const CallEvent &Call, CheckerContext &C,  in preReadWrite()
727                                     const CallEvent &Call, CheckerContext &C,  in evalFreadFwrite()
807                               CheckerContext &C, bool SingleChar) const {  in evalFgetx()
893                               CheckerContext &C, bool IsSingleChar) const {  in evalFputx()
952                                 CheckerContext &C) const {  in evalFprintf()
994                                CheckerContext &C) const {  in evalFscanf()
1057                                CheckerContext &C) const {  in evalUngetc()
1097                                  CheckerContext &C) const {  in evalGetdelim()
1152                              CheckerContext &C) const {  in preFseek()
1170                               CheckerContext &C) const {  in evalFseek()
1220                                 CheckerContext &C) const {  in evalFgetpos()
1249                                 CheckerContext &C) const {  in evalFsetpos()
1286                               CheckerContext &C) const {  in evalFtell()
1324                                CheckerContext &C) const {  in evalRewind()
1348                                  CheckerContext &C) const {  in evalClearerr()
1368                                    const CallEvent &Call, CheckerContext &C,  in evalFeofFerror()
1408                                CheckerContext &C) const {  in preDefault()
1423                                       const CallEvent &Call, CheckerContext &C,  in evalSetFeofFerror()
1436                               CheckerContext &C) const {  in preFflush()
1451                                CheckerContext &C) const {  in evalFflush()
1515                                    CheckerContext &C,  in ensureStreamNonNull()
1541                                                   CheckerContext &C,  in ensureStreamOpened()
1586     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()
1631 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,  in ensureFseekWhenceCorrect()
1654 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()
1671                            CheckerContext &C, ExplodedNode *Pred) const {  in reportLeaks()
1711                                      CheckerContext &C) const {  in checkDeadSymbols()