Lines Matching refs:CheckerContext
196 const CallEvent &, CheckerContext &)>;
227 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal()
236 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C, in bindAndAssumeTrue()
246 CheckerContext &C, const CallExpr *CE) { in bindInt()
271 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
272 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
273 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
284 const NoteTag *constructSetEofNoteTag(CheckerContext &C, in constructSetEofNoteTag()
297 const NoteTag *constructSetErrorNoteTag(CheckerContext &C, in constructSetErrorNoteTag()
310 const NoteTag *constructSetEofOrErrorNoteTag(CheckerContext &C, in constructSetEofOrErrorNoteTag()
455 CheckerContext &C) const;
458 CheckerContext &C) const;
460 CheckerContext &C) const;
463 CheckerContext &C) const;
466 CheckerContext &C) const;
469 CheckerContext &C) const;
472 CheckerContext &C, bool IsFread) const;
475 CheckerContext &C, bool SingleChar) const;
478 CheckerContext &C, bool IsSingleChar) const;
481 CheckerContext &C) const;
484 CheckerContext &C) const;
487 CheckerContext &C) const;
490 CheckerContext &C) const;
493 CheckerContext &C) const;
495 CheckerContext &C) const;
498 CheckerContext &C) const;
501 CheckerContext &C) const;
504 CheckerContext &C) const;
507 CheckerContext &C) const;
510 CheckerContext &C) const;
513 CheckerContext &C) const;
516 CheckerContext &C,
520 CheckerContext &C, const StreamErrorState &ErrorKind,
524 CheckerContext &C) const;
527 CheckerContext &C) const;
530 CheckerContext &C) const;
537 CheckerContext &C,
543 ProgramStateRef ensureStreamOpened(SVal StreamVal, CheckerContext &C,
553 ensureNoFilePositionIndeterminate(SVal StreamVal, CheckerContext &C,
560 ProgramStateRef ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C,
567 void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
574 CheckerContext &C, ExplodedNode *Pred) const;
593 const NoteTag *constructLeakNoteTag(CheckerContext &C, SymbolRef StreamSym, in constructLeakNoteTag()
603 void initMacroValues(CheckerContext &C) const { in initMacroValues()
623 void initVaListType(CheckerContext &C) const { in initVaListType()
631 CheckerContext &C);
643 StreamOperationEvaluator(CheckerContext &C) in StreamOperationEvaluator()
648 bool Init(const FnDescription *Desc, const CallEvent &Call, CheckerContext &C, in Init()
678 ProgramStateRef makeAndBindRetVal(ProgramStateRef State, CheckerContext &C) { in makeAndBindRetVal()
683 ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C, in bindReturnValue()
689 ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C, in bindReturnValue()
695 CheckerContext &C) { in bindNullReturnValue()
711 makeRetValAndAssumeDual(ProgramStateRef State, CheckerContext &C) { in makeRetValAndAssumeDual()
717 const NoteTag *getFailureNoteTag(const StreamChecker *Ch, CheckerContext &C) { in getFailureNoteTag()
790 CheckerContext &C) { in getAcquisitionSite()
850 static ProgramStateRef escapeArgs(ProgramStateRef State, CheckerContext &C, in escapeArgs()
867 CheckerContext &C) const { in checkPreCall()
878 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
891 CheckerContext &C) const { in evalFopen()
920 CheckerContext &C) const { in preFreopen()
933 CheckerContext &C) const { in evalFreopen()
978 CheckerContext &C) const { in evalFclose()
995 CheckerContext &C) const { in preRead()
1020 CheckerContext &C) const { in preWrite()
1069 tryToInvalidateFReadBufferByElements(ProgramStateRef State, CheckerContext &C, in tryToInvalidateFReadBufferByElements()
1111 const CallEvent &Call, CheckerContext &C, in evalFreadFwrite()
1184 CheckerContext &C, bool SingleChar) const { in evalFgetx()
1243 CheckerContext &C, bool IsSingleChar) const { in evalFputx()
1289 CheckerContext &C) const { in evalFprintf()
1325 CheckerContext &C) const { in evalFscanf()
1378 CheckerContext &C) const { in evalUngetc()
1406 CheckerContext &C) const { in evalGetdelim()
1465 CheckerContext &C) const { in preFseek()
1483 CheckerContext &C) const { in evalFseek()
1513 CheckerContext &C) const { in evalFgetpos()
1532 CheckerContext &C) const { in evalFsetpos()
1559 CheckerContext &C) const { in evalFtell()
1583 CheckerContext &C) const { in evalRewind()
1595 CheckerContext &C) const { in preFflush()
1610 CheckerContext &C) const { in evalFflush()
1674 CheckerContext &C) const { in evalClearerr()
1688 const CallEvent &Call, CheckerContext &C, in evalFeofFerror()
1718 CheckerContext &C) const { in evalFileno()
1743 CheckerContext &C) const { in preDefault()
1758 const CallEvent &Call, CheckerContext &C, in evalSetFeofFerror()
1774 CheckerContext &C, in ensureStreamNonNull()
1800 CheckerContext &C, in ensureStreamOpened()
1845 SVal StreamVal, CheckerContext &C, ProgramStateRef State) const { in ensureNoFilePositionIndeterminate()
1894 StreamChecker::ensureFseekWhenceCorrect(SVal WhenceVal, CheckerContext &C, in ensureFseekWhenceCorrect()
1917 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C, in reportFEofWarning()
1934 CheckerContext &C, ExplodedNode *Pred) const { in reportLeaks()
1975 CheckerContext &C) const { in checkDeadSymbols()