Lines Matching refs:StreamChecker

58 class StreamChecker : public Checker<eval::Call,  class
68 StreamChecker() in StreamChecker() function in __anonb8b9977e0111::StreamChecker
107 bool StreamChecker::evalCall(const CallExpr *CE, CheckerContext &C) const { in REGISTER_MAP_WITH_PROGRAMSTATE()
202 void StreamChecker::Fopen(CheckerContext &C, const CallExpr *CE) const { in Fopen()
206 void StreamChecker::Tmpfile(CheckerContext &C, const CallExpr *CE) const { in Tmpfile()
210 void StreamChecker::OpenFileAux(CheckerContext &C, const CallExpr *CE) const { in OpenFileAux()
237 void StreamChecker::Fclose(CheckerContext &C, const CallExpr *CE) const { in Fclose()
243 void StreamChecker::Fread(CheckerContext &C, const CallExpr *CE) const { in Fread()
249 void StreamChecker::Fwrite(CheckerContext &C, const CallExpr *CE) const { in Fwrite()
255 void StreamChecker::Fseek(CheckerContext &C, const CallExpr *CE) const { in Fseek()
281 void StreamChecker::Ftell(CheckerContext &C, const CallExpr *CE) const { in Ftell()
287 void StreamChecker::Rewind(CheckerContext &C, const CallExpr *CE) const { in Rewind()
293 void StreamChecker::Fgetpos(CheckerContext &C, const CallExpr *CE) const { in Fgetpos()
299 void StreamChecker::Fsetpos(CheckerContext &C, const CallExpr *CE) const { in Fsetpos()
305 void StreamChecker::Clearerr(CheckerContext &C, const CallExpr *CE) const { in Clearerr()
311 void StreamChecker::Feof(CheckerContext &C, const CallExpr *CE) const { in Feof()
317 void StreamChecker::Ferror(CheckerContext &C, const CallExpr *CE) const { in Ferror()
323 void StreamChecker::Fileno(CheckerContext &C, const CallExpr *CE) const { in Fileno()
329 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state, in CheckNullStream()
352 ProgramStateRef StreamChecker::CheckDoubleClose(const CallExpr *CE, in CheckDoubleClose()
384 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
410 mgr.registerChecker<StreamChecker>(); in registerStreamChecker()