StaticAnalyzer/Checkers/StreamChecker.cpp

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