164 class StreamChecker;
165 using FnCheck = std::function<void(const StreamChecker *, const FnDescription *,
211 class StreamChecker : public Checker<check::PreCall, eval::Call,  class
240       {{{"fopen"}}, {nullptr, &StreamChecker::evalFopen, ArgNone}},
242        {&StreamChecker::preFreopen, &StreamChecker::evalFreopen, 2}},
243       {{{"tmpfile"}}, {nullptr, &StreamChecker::evalFopen, ArgNone}},
245        {&StreamChecker::preDefault, &StreamChecker::evalFclose, 0}},
247        {&StreamChecker::preFread,
248         std::bind(&StreamChecker::evalFreadFwrite, _1, _2, _3, _4, true), 3}},
250        {&StreamChecker::preFwrite,
251         std::bind(&StreamChecker::evalFreadFwrite, _1, _2, _3, _4, false), 3}},
253        {&StreamChecker::preFseek, &StreamChecker::evalFseek, 0}},
255        {&StreamChecker::preDefault, &StreamChecker::evalFtell, 0}},
257        {&StreamChecker::preDefault, &StreamChecker::evalRewind, 0}},
259        {&StreamChecker::preDefault, &StreamChecker::evalFgetpos, 0}},
261        {&StreamChecker::preDefault, &StreamChecker::evalFsetpos, 0}},
263        {&StreamChecker::preDefault, &StreamChecker::evalClearerr, 0}},
265        {&StreamChecker::preDefault,
266         std::bind(&StreamChecker::evalFeofFerror, _1, _2, _3, _4, ErrorFEof),
269        {&StreamChecker::preDefault,
270         std::bind(&StreamChecker::evalFeofFerror, _1, _2, _3, _4, ErrorFError),
272       {{{"fileno"}, 1}, {&StreamChecker::preDefault, nullptr, 0}},
278         std::bind(&StreamChecker::evalSetFeofFerror, _1, _2, _3, _4, ErrorFEof),
282         std::bind(&StreamChecker::evalSetFeofFerror, _1, _2, _3, _4,
463 const ExplodedNode *StreamChecker::getAcquisitionSite(const ExplodedNode *N,  in getAcquisitionSite()
488 void StreamChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
499 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
511 void StreamChecker::evalFopen(const FnDescription *Desc, const CallEvent &Call,  in evalFopen()
540 void StreamChecker::preFreopen(const FnDescription *Desc, const CallEvent &Call,  in preFreopen()
552 void StreamChecker::evalFreopen(const FnDescription *Desc,  in evalFreopen()
598 void StreamChecker::evalFclose(const FnDescription *Desc, const CallEvent &Call,  in evalFclose()
632 void StreamChecker::preFread(const FnDescription *Desc, const CallEvent &Call,  in preFread()
657 void StreamChecker::preFwrite(const FnDescription *Desc, const CallEvent &Call,  in preFwrite()
675 void StreamChecker::evalFreadFwrite(const FnDescription *Desc,  in evalFreadFwrite()
755 void StreamChecker::preFseek(const FnDescription *Desc, const CallEvent &Call,  in preFseek()
773 void StreamChecker::evalFseek(const FnDescription *Desc, const CallEvent &Call,  in evalFseek()
814 void StreamChecker::evalFgetpos(const FnDescription *Desc,  in evalFgetpos()
843 void StreamChecker::evalFsetpos(const FnDescription *Desc,  in evalFsetpos()
881 void StreamChecker::evalFtell(const FnDescription *Desc, const CallEvent &Call,  in evalFtell()
916 void StreamChecker::evalRewind(const FnDescription *Desc, const CallEvent &Call,  in evalRewind()
939 void StreamChecker::evalClearerr(const FnDescription *Desc,  in evalClearerr()
960 void StreamChecker::evalFeofFerror(const FnDescription *Desc,  in evalFeofFerror()
1000 void StreamChecker::preDefault(const FnDescription *Desc, const CallEvent &Call,  in preDefault()
1015 void StreamChecker::evalSetFeofFerror(const FnDescription *Desc,  in evalSetFeofFerror()
1029 StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,  in ensureStreamNonNull()
1053 ProgramStateRef StreamChecker::ensureStreamOpened(SVal StreamVal,  in ensureStreamOpened()
1099 ProgramStateRef StreamChecker::ensureNoFilePositionIndeterminate(  in ensureNoFilePositionIndeterminate()
1145 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,  in ensureFseekWhenceCorrect()
1168 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()
1184 StreamChecker::reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,  in reportLeaks()
1222 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,  in checkDeadSymbols()
1246 ProgramStateRef StreamChecker::checkPointerEscape(  in checkPointerEscape()
1273   Mgr.registerChecker<StreamChecker>();  in registerStreamChecker()
1281   auto *Checker = Mgr.getChecker<StreamChecker>();  in registerStreamTesterChecker()