Home | History | Annotate | Download | only in Checkers

Lines Matching refs:CallExpr

76   bool evalCall(const CallExpr *CE, CheckerContext &C) const;
82 void Fopen(CheckerContext &C, const CallExpr *CE) const;
83 void Tmpfile(CheckerContext &C, const CallExpr *CE) const;
84 void Fclose(CheckerContext &C, const CallExpr *CE) const;
85 void Fread(CheckerContext &C, const CallExpr *CE) const;
86 void Fwrite(CheckerContext &C, const CallExpr *CE) const;
87 void Fseek(CheckerContext &C, const CallExpr *CE) const;
88 void Ftell(CheckerContext &C, const CallExpr *CE) const;
89 void Rewind(CheckerContext &C, const CallExpr *CE) const;
90 void Fgetpos(CheckerContext &C, const CallExpr *CE) const;
91 void Fsetpos(CheckerContext &C, const CallExpr *CE) const;
92 void Clearerr(CheckerContext &C, const CallExpr *CE) const;
93 void Feof(CheckerContext &C, const CallExpr *CE) const;
94 void Ferror(CheckerContext &C, const CallExpr *CE) const;
95 void Fileno(CheckerContext &C, const CallExpr *CE) const;
97 void OpenFileAux(CheckerContext &C, const CallExpr *CE) const;
101 ProgramStateRef CheckDoubleClose(const CallExpr *CE, ProgramStateRef state,
117 bool StreamChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
212 void StreamChecker::Fopen(CheckerContext &C, const CallExpr *CE) const {
216 void StreamChecker::Tmpfile(CheckerContext &C, const CallExpr *CE) const {
220 void StreamChecker::OpenFileAux(CheckerContext &C, const CallExpr *CE) const {
247 void StreamChecker::Fclose(CheckerContext &C, const CallExpr *CE) const {
253 void StreamChecker::Fread(CheckerContext &C, const CallExpr *CE) const {
260 void StreamChecker::Fwrite(CheckerContext &C, const CallExpr *CE) const {
267 void StreamChecker::Fseek(CheckerContext &C, const CallExpr *CE) const {
294 void StreamChecker::Ftell(CheckerContext &C, const CallExpr *CE) const {
301 void StreamChecker::Rewind(CheckerContext &C, const CallExpr *CE) const {
308 void StreamChecker::Fgetpos(CheckerContext &C, const CallExpr *CE) const {
315 void StreamChecker::Fsetpos(CheckerContext &C, const CallExpr *CE) const {
322 void StreamChecker::Clearerr(CheckerContext &C, const CallExpr *CE) const {
329 void StreamChecker::Feof(CheckerContext &C, const CallExpr *CE) const {
336 void StreamChecker::Ferror(CheckerContext &C, const CallExpr *CE) const {
343 void StreamChecker::Fileno(CheckerContext &C, const CallExpr *CE) const {
373 ProgramStateRef StreamChecker::CheckDoubleClose(const CallExpr *CE,