110   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
111   void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
113   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
123   using FnCheck = std::function<void(const CStringChecker *, CheckerContext &,
162   FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const;
163   void evalMemcpy(CheckerContext &C, const CallExpr *CE, bool IsWide) const;
164   void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
165   void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
166   void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
167   void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
172   void evalMemcmp(CheckerContext &C, const CallExpr *CE) const;
174   void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
175   void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
176   void evalstrLengthCommon(CheckerContext &C,
180   void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
181   void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
182   void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
183   void evalStrlcpy(CheckerContext &C, const CallExpr *CE) const;
184   void evalStrcpyCommon(CheckerContext &C, const CallExpr *CE, bool ReturnEnd,
188   void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
189   void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
190   void evalStrlcat(CheckerContext &C, const CallExpr *CE) const;
192   void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
193   void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
194   void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
195   void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
196   void evalStrcmpCommon(CheckerContext &C,
201   void evalStrsep(CheckerContext &C, const CallExpr *CE) const;
203   void evalStdCopy(CheckerContext &C, const CallExpr *CE) const;
204   void evalStdCopyBackward(CheckerContext &C, const CallExpr *CE) const;
205   void evalStdCopyCommon(CheckerContext &C, const CallExpr *CE) const;
206   void evalMemset(CheckerContext &C, const CallExpr *CE) const;
207   void evalBzero(CheckerContext &C, const CallExpr *CE) const;
211   static assumeZero(CheckerContext &C,
217   static SVal getCStringLengthForRegion(CheckerContext &C,
222   SVal getCStringLength(CheckerContext &C,
228   const StringLiteral *getCStringLiteral(CheckerContext &C,
233   static ProgramStateRef InvalidateBuffer(CheckerContext &C,
243                         const Expr *Size, CheckerContext &C,
247   ProgramStateRef checkNonNull(CheckerContext &C, ProgramStateRef State,
249   ProgramStateRef CheckLocation(CheckerContext &C, ProgramStateRef state,
252   ProgramStateRef CheckBufferAccess(CheckerContext &C, ProgramStateRef State,
256   ProgramStateRef CheckOverlap(CheckerContext &C, ProgramStateRef state,
259   void emitOverlapBug(CheckerContext &C,
264   void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
266   void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
268   void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
270   void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
271   void emitUninitializedReadBug(CheckerContext &C, ProgramStateRef State,
273   ProgramStateRef checkAdditionOverflow(CheckerContext &C,
281   static bool IsFirstBufInBound(CheckerContext &C,
296 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
307 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
338 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
418 CStringChecker::CheckBufferAccess(CheckerContext &C, ProgramStateRef State,  in CheckBufferAccess()
474 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
592 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
611 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,  in emitNullArgBug()
628 void CStringChecker::emitUninitializedReadBug(CheckerContext &C,  in emitUninitializedReadBug()
648 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,  in emitOutOfBoundsBug()
670 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,  in emitNotCStringBug()
687 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,  in emitAdditionOverflowBug()
708 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
804 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
843 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
918 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
938 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,  in IsFirstBufInBound()
1002 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
1099                                const Expr *Size, CheckerContext &C,  in memsetAux()
1189 void CStringChecker::evalCopyCommon(CheckerContext &C, const CallExpr *CE,  in evalCopyCommon()
1290 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE,  in evalMemcpy()
1306 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMempcpy()
1319 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {  in evalMemmove()
1332 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {  in evalBcopy()
1344 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {  in evalMemcmp()
1415 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1421 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1427 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,  in evalstrLengthCommon()
1545 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrcpy()
1553 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrncpy()
1561 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStpcpy()
1569 void CStringChecker::evalStrlcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcpy()
1578 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrcat()
1586 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {  in evalStrncat()
1594 void CStringChecker::evalStrlcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcat()
1605 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcpyCommon()
1987 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrcmp()
1992 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrncmp()
1997 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
2003 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
2009 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcmpCommon()
2138 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {  in evalStrsep()
2198 void CStringChecker::evalStdCopy(CheckerContext &C, const CallExpr *CE) const {  in evalStdCopy()
2202 void CStringChecker::evalStdCopyBackward(CheckerContext &C,  in evalStdCopyBackward()
2207 void CStringChecker::evalStdCopyCommon(CheckerContext &C,  in evalStdCopyCommon()
2235 void CStringChecker::evalMemset(CheckerContext &C, const CallExpr *CE) const {  in evalMemset()
2285 void CStringChecker::evalBzero(CheckerContext &C, const CallExpr *CE) const {  in evalBzero()
2333                                                      CheckerContext &C) const {  in identifyCall()
2364 bool CStringChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
2384 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2489     CheckerContext &C) const {  in checkDeadSymbols()