CStringChecker.cpp - OpenGrok cross reference for /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching refs:CheckerContext
61   bool evalCall(const CallExpr *CE, CheckerContext &C) const;
62   void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
64   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
74   typedef void (CStringChecker::*FnCheck)(CheckerContext &,
77   void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
78   void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
79   void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
80   void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
81   void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
89   void evalMemcmp(CheckerContext &C, const CallExpr *CE) const;
91   void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
92   void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
93   void evalstrLengthCommon(CheckerContext &C,
97   void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
98   void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
99   void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
100   void evalStrlcpy(CheckerContext &C, const CallExpr *CE) const;
101   void evalStrcpyCommon(CheckerContext &C,
108   void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
109   void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
110   void evalStrlcat(CheckerContext &C, const CallExpr *CE) const;
112   void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
113   void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
114   void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
115   void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
116   void evalStrcmpCommon(CheckerContext &C,
121   void evalStrsep(CheckerContext &C, const CallExpr *CE) const;
123   void evalStdCopy(CheckerContext &C, const CallExpr *CE) const;
124   void evalStdCopyBackward(CheckerContext &C, const CallExpr *CE) const;
125   void evalStdCopyCommon(CheckerContext &C, const CallExpr *CE) const;
126   void evalMemset(CheckerContext &C, const CallExpr *CE) const;
127   void evalBzero(CheckerContext &C, const CallExpr *CE) const;
131   static assumeZero(CheckerContext &C,
137   static SVal getCStringLengthForRegion(CheckerContext &C,
142   SVal getCStringLength(CheckerContext &C,
148   const StringLiteral *getCStringLiteral(CheckerContext &C,
153   static ProgramStateRef InvalidateBuffer(CheckerContext &C,
163                         const Expr *Size, CheckerContext &C,
167   ProgramStateRef checkNonNull(CheckerContext &C,
171   ProgramStateRef CheckLocation(CheckerContext &C,
176   ProgramStateRef CheckBufferAccess(CheckerContext &C,
185   ProgramStateRef CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
195   ProgramStateRef CheckOverlap(CheckerContext &C,
200   void emitOverlapBug(CheckerContext &C,
205   void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
207   void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
209   void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
211   void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
213   ProgramStateRef checkAdditionOverflow(CheckerContext &C,
221   static bool IsFirstBufInBound(CheckerContext &C,
236 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
247 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
275 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
335 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
414 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
527 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
546 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,  in emitNullArgBug()
563 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,  in emitOutOfBoundsBug()
585 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,  in emitNotCStringBug()
601 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,  in emitAdditionOverflowBug()
621 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
716 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
755 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
829 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
849 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,  in IsFirstBufInBound()
915 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
1010                                const Expr *Size, CheckerContext &C,  in memsetAux()
1101 void CStringChecker::evalCopyCommon(CheckerContext &C,  in evalCopyCommon()
1203 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMemcpy()
1215 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMempcpy()
1227 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {  in evalMemmove()
1239 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {  in evalBcopy()
1248 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {  in evalMemcmp()
1324 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1333 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1342 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,  in evalstrLengthCommon()
1461 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrcpy()
1472 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrncpy()
1483 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStpcpy()
1494 void CStringChecker::evalStrlcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcpy()
1506 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrcat()
1517 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {  in evalStrncat()
1528 void CStringChecker::evalStrlcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcat()
1540 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcpyCommon()
1883 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrcmp()
1891 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrncmp()
1899 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
1908 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
1917 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcmpCommon()
2044 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {  in evalStrsep()
2106 void CStringChecker::evalStdCopy(CheckerContext &C, const CallExpr *CE) const {  in evalStdCopy()
2110 void CStringChecker::evalStdCopyBackward(CheckerContext &C,  in evalStdCopyBackward()
2115 void CStringChecker::evalStdCopyCommon(CheckerContext &C,  in evalStdCopyCommon()
2143 void CStringChecker::evalMemset(CheckerContext &C, const CallExpr *CE) const {  in evalMemset()
2194 void CStringChecker::evalBzero(CheckerContext &C, const CallExpr *CE) const {  in evalBzero()
2258                                             CheckerContext &C) {  in identifyCall()
2334 bool CStringChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {  in evalCall()
2354 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2459     CheckerContext &C) const {  in checkDeadSymbols()