Lines Matching refs:StreamChecker

59 class StreamChecker : public Checker<eval::Call,  class
69 StreamChecker() in StreamChecker() function in __anon08deb8510111::StreamChecker
108 bool StreamChecker::evalCall(const CallExpr *CE, CheckerContext &C) const { in REGISTER_MAP_WITH_PROGRAMSTATE()
203 void StreamChecker::Fopen(CheckerContext &C, const CallExpr *CE) const { in Fopen()
207 void StreamChecker::Tmpfile(CheckerContext &C, const CallExpr *CE) const { in Tmpfile()
211 void StreamChecker::OpenFileAux(CheckerContext &C, const CallExpr *CE) const { in OpenFileAux()
238 void StreamChecker::Fclose(CheckerContext &C, const CallExpr *CE) const { in Fclose()
244 void StreamChecker::Fread(CheckerContext &C, const CallExpr *CE) const { in Fread()
251 void StreamChecker::Fwrite(CheckerContext &C, const CallExpr *CE) const { in Fwrite()
258 void StreamChecker::Fseek(CheckerContext &C, const CallExpr *CE) const { in Fseek()
285 void StreamChecker::Ftell(CheckerContext &C, const CallExpr *CE) const { in Ftell()
292 void StreamChecker::Rewind(CheckerContext &C, const CallExpr *CE) const { in Rewind()
299 void StreamChecker::Fgetpos(CheckerContext &C, const CallExpr *CE) const { in Fgetpos()
306 void StreamChecker::Fsetpos(CheckerContext &C, const CallExpr *CE) const { in Fsetpos()
313 void StreamChecker::Clearerr(CheckerContext &C, const CallExpr *CE) const { in Clearerr()
320 void StreamChecker::Feof(CheckerContext &C, const CallExpr *CE) const { in Feof()
327 void StreamChecker::Ferror(CheckerContext &C, const CallExpr *CE) const { in Ferror()
334 void StreamChecker::Fileno(CheckerContext &C, const CallExpr *CE) const { in Fileno()
341 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state, in CheckNullStream()
364 ProgramStateRef StreamChecker::CheckDoubleClose(const CallExpr *CE, in CheckDoubleClose()
397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
423 mgr.registerChecker<StreamChecker>(); in registerStreamChecker()