CStringChecker.cpp - OpenGrok cross reference for /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching refs:CheckerContext
105   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
106   void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
108   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
118   typedef void (CStringChecker::*FnCheck)(CheckerContext &,
151   FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const;
152   void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
153   void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
154   void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
155   void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
156   void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
161   void evalMemcmp(CheckerContext &C, const CallExpr *CE) const;
163   void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
164   void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
165   void evalstrLengthCommon(CheckerContext &C,
169   void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
170   void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
171   void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
172   void evalStrlcpy(CheckerContext &C, const CallExpr *CE) const;
173   void evalStrcpyCommon(CheckerContext &C, const CallExpr *CE, bool ReturnEnd,
177   void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
178   void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
179   void evalStrlcat(CheckerContext &C, const CallExpr *CE) const;
181   void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
182   void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
183   void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
184   void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
185   void evalStrcmpCommon(CheckerContext &C,
190   void evalStrsep(CheckerContext &C, const CallExpr *CE) const;
192   void evalStdCopy(CheckerContext &C, const CallExpr *CE) const;
193   void evalStdCopyBackward(CheckerContext &C, const CallExpr *CE) const;
194   void evalStdCopyCommon(CheckerContext &C, const CallExpr *CE) const;
195   void evalMemset(CheckerContext &C, const CallExpr *CE) const;
196   void evalBzero(CheckerContext &C, const CallExpr *CE) const;
200   static assumeZero(CheckerContext &C,
206   static SVal getCStringLengthForRegion(CheckerContext &C,
211   SVal getCStringLength(CheckerContext &C,
217   const StringLiteral *getCStringLiteral(CheckerContext &C,
222   static ProgramStateRef InvalidateBuffer(CheckerContext &C,
232                         const Expr *Size, CheckerContext &C,
236   ProgramStateRef checkNonNull(CheckerContext &C, ProgramStateRef State,
238   ProgramStateRef CheckLocation(CheckerContext &C, ProgramStateRef state,
241   ProgramStateRef CheckBufferAccess(CheckerContext &C, ProgramStateRef State,
244   ProgramStateRef CheckOverlap(CheckerContext &C, ProgramStateRef state,
247   void emitOverlapBug(CheckerContext &C,
252   void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
254   void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
256   void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
258   void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
260   ProgramStateRef checkAdditionOverflow(CheckerContext &C,
268   static bool IsFirstBufInBound(CheckerContext &C,
283 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
294 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
325 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
375 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
434 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
546 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
565 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,  in emitNullArgBug()
582 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,  in emitOutOfBoundsBug()
604 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,  in emitNotCStringBug()
621 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,  in emitAdditionOverflowBug()
642 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
738 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
777 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
852 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
872 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,  in IsFirstBufInBound()
936 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
1036                                const Expr *Size, CheckerContext &C,  in memsetAux()
1126 void CStringChecker::evalCopyCommon(CheckerContext &C, const CallExpr *CE,  in evalCopyCommon()
1227 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMemcpy()
1241 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMempcpy()
1253 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {  in evalMemmove()
1265 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {  in evalBcopy()
1276 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {  in evalMemcmp()
1347 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1353 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1359 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,  in evalstrLengthCommon()
1477 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrcpy()
1485 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrncpy()
1493 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStpcpy()
1501 void CStringChecker::evalStrlcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcpy()
1510 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrcat()
1518 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {  in evalStrncat()
1526 void CStringChecker::evalStrlcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcat()
1537 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcpyCommon()
1919 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrcmp()
1924 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrncmp()
1929 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
1935 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
1941 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcmpCommon()
2070 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {  in evalStrsep()
2130 void CStringChecker::evalStdCopy(CheckerContext &C, const CallExpr *CE) const {  in evalStdCopy()
2134 void CStringChecker::evalStdCopyBackward(CheckerContext &C,  in evalStdCopyBackward()
2139 void CStringChecker::evalStdCopyCommon(CheckerContext &C,  in evalStdCopyCommon()
2167 void CStringChecker::evalMemset(CheckerContext &C, const CallExpr *CE) const {  in evalMemset()
2217 void CStringChecker::evalBzero(CheckerContext &C, const CallExpr *CE) const {  in evalBzero()
2265                                                      CheckerContext &C) const {  in identifyCall()
2297 bool CStringChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
2317 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2422     CheckerContext &C) const {  in checkDeadSymbols()