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()
225   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
226   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
227   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
290                  CheckerContext &C) const;
293                   CheckerContext &C) const;
295                    CheckerContext &C) const;
298                   CheckerContext &C) const;
301                 CheckerContext &C) const;
304                  CheckerContext &C) const;
307                        CheckerContext &C, bool IsFread) const;
310                 CheckerContext &C) const;
312                  CheckerContext &C) const;
315                    CheckerContext &C) const;
318                    CheckerContext &C) const;
321                  CheckerContext &C) const;
324                   CheckerContext &C) const;
327                   CheckerContext &C) const;
330                     CheckerContext &C) const;
333                       CheckerContext &C,
337                          CheckerContext &C,
345                                       CheckerContext &C,
351   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
361   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
368   ProgramStateRef ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,
375   void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
382                             CheckerContext &C, ExplodedNode *Pred) const;
416   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()
421   const NoteTag *constructSetEofNoteTag(CheckerContext &C,  in constructSetEofNoteTag()
434   void initEof(CheckerContext &C) const {  in initEof()
449                                                 CheckerContext &C);
465                                                       CheckerContext &C) {  in getAcquisitionSite()
489                                  CheckerContext &C) const {  in checkPreCall()
499 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
512                               CheckerContext &C) const {  in evalFopen()
541                                CheckerContext &C) const {  in preFreopen()
554                                 CheckerContext &C) const {  in evalFreopen()
599                                CheckerContext &C) const {  in evalFclose()
633                              CheckerContext &C) const {  in preFread()
658                               CheckerContext &C) const {  in preFwrite()
676                                     const CallEvent &Call, CheckerContext &C,  in evalFreadFwrite()
756                              CheckerContext &C) const {  in preFseek()
774                               CheckerContext &C) const {  in evalFseek()
816                                 CheckerContext &C) const {  in evalFgetpos()
845                                 CheckerContext &C) const {  in evalFsetpos()
882                               CheckerContext &C) const {  in evalFtell()
917                                CheckerContext &C) const {  in evalRewind()
941                                  CheckerContext &C) const {  in evalClearerr()
961                                    const CallEvent &Call, CheckerContext &C,  in evalFeofFerror()
1001                                CheckerContext &C) const {  in preDefault()
1016                                       const CallEvent &Call, CheckerContext &C,  in evalSetFeofFerror()
1030                                    CheckerContext &C,  in ensureStreamNonNull()
1054                                                   CheckerContext &C,  in ensureStreamOpened()
1100     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()
1145 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,  in ensureFseekWhenceCorrect()
1168 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()
1185                            CheckerContext &C, ExplodedNode *Pred) const {  in reportLeaks()
1223                                      CheckerContext &C) const {  in checkDeadSymbols()