163                                    const CallEvent &, CheckerContext &)>;
183 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) {  in makeRetVal()
192 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C,  in bindAndAssumeTrue()
202                         CheckerContext &C, const CallExpr *CE) {  in bindInt()
223   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
224   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
225   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
281                  CheckerContext &C) const;
284                   CheckerContext &C) const;
286                    CheckerContext &C) const;
289                   CheckerContext &C) const;
292                 CheckerContext &C) const;
295                  CheckerContext &C) const;
298                        CheckerContext &C, bool IsFread) const;
301                 CheckerContext &C) const;
303                  CheckerContext &C) const;
306                   CheckerContext &C) const;
309                     CheckerContext &C) const;
312                       CheckerContext &C,
316                          CheckerContext &C,
324                                       CheckerContext &C,
330   ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
340   ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
347   ProgramStateRef ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,
354   void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
361                             CheckerContext &C, ExplodedNode *Pred) const;
395   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()
400   const NoteTag *constructSetEofNoteTag(CheckerContext &C,  in constructSetEofNoteTag()
417                                                 CheckerContext &C);
434                                                       CheckerContext &C) {  in getAcquisitionSite()
458                                  CheckerContext &C) const {  in checkPreCall()
466 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
479                               CheckerContext &C) const {  in evalFopen()
508                                CheckerContext &C) const {  in preFreopen()
521                                 CheckerContext &C) const {  in evalFreopen()
565                                CheckerContext &C) const {  in evalFclose()
586                              CheckerContext &C) const {  in preFread()
611                               CheckerContext &C) const {  in preFwrite()
629                                     const CallEvent &Call, CheckerContext &C,  in evalFreadFwrite()
714                              CheckerContext &C) const {  in preFseek()
732                               CheckerContext &C) const {  in evalFseek()
774                                  CheckerContext &C) const {  in evalClearerr()
794                                    const CallEvent &Call, CheckerContext &C,  in evalFeofFerror()
834                                CheckerContext &C) const {  in preDefault()
849                                       const CallEvent &Call, CheckerContext &C,  in evalSetFeofFerror()
863                                    CheckerContext &C,  in ensureStreamNonNull()
889                                                   CheckerContext &C,  in ensureStreamOpened()
935     SVal StreamVal, CheckerContext &C, ProgramStateRef State) const {  in ensureNoFilePositionIndeterminate()
980 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,  in ensureFseekWhenceCorrect()
1002 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()
1019                            CheckerContext &C, ExplodedNode *Pred) const {  in reportLeaks()
1057                                      CheckerContext &C) const {  in checkDeadSymbols()