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 &,
175   FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const;
176   void evalMemcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
177   void evalMempcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
178   void evalMemmove(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
179   void evalBcopy(CheckerContext &C, const CallEvent &Call) const;
180   void evalCopyCommon(CheckerContext &C, const CallEvent &Call,
185   void evalMemcmp(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
187   void evalstrLength(CheckerContext &C, const CallEvent &Call) const;
188   void evalstrnLength(CheckerContext &C, const CallEvent &Call) const;
189   void evalstrLengthCommon(CheckerContext &C, const CallEvent &Call,
192   void evalStrcpy(CheckerContext &C, const CallEvent &Call) const;
193   void evalStrncpy(CheckerContext &C, const CallEvent &Call) const;
194   void evalStpcpy(CheckerContext &C, const CallEvent &Call) const;
195   void evalStrlcpy(CheckerContext &C, const CallEvent &Call) const;
196   void evalStrcpyCommon(CheckerContext &C, const CallEvent &Call,
200   void evalStrcat(CheckerContext &C, const CallEvent &Call) const;
201   void evalStrncat(CheckerContext &C, const CallEvent &Call) const;
202   void evalStrlcat(CheckerContext &C, const CallEvent &Call) const;
204   void evalStrcmp(CheckerContext &C, const CallEvent &Call) const;
205   void evalStrncmp(CheckerContext &C, const CallEvent &Call) const;
206   void evalStrcasecmp(CheckerContext &C, const CallEvent &Call) const;
207   void evalStrncasecmp(CheckerContext &C, const CallEvent &Call) const;
208   void evalStrcmpCommon(CheckerContext &C, const CallEvent &Call,
211   void evalStrsep(CheckerContext &C, const CallEvent &Call) const;
213   void evalStdCopy(CheckerContext &C, const CallEvent &Call) const;
214   void evalStdCopyBackward(CheckerContext &C, const CallEvent &Call) const;
215   void evalStdCopyCommon(CheckerContext &C, const CallEvent &Call) const;
216   void evalMemset(CheckerContext &C, const CallEvent &Call) const;
217   void evalBzero(CheckerContext &C, const CallEvent &Call) const;
219   void evalSprintf(CheckerContext &C, const CallEvent &Call) const;
220   void evalSnprintf(CheckerContext &C, const CallEvent &Call) const;
221   void evalSprintfCommon(CheckerContext &C, const CallEvent &Call,
226   static assumeZero(CheckerContext &C,
232   static SVal getCStringLengthForRegion(CheckerContext &C,
237   SVal getCStringLength(CheckerContext &C,
243   const StringLiteral *getCStringLiteral(CheckerContext &C,
250   invalidateDestinationBufferBySize(CheckerContext &C, ProgramStateRef S,
256       CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV);
261       CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV);
264   static ProgramStateRef invalidateSourceBuffer(CheckerContext &C,
272       CheckerContext &C, ProgramStateRef State, const Expr *Ex, SVal V,
281                         const Expr *Size, CheckerContext &C,
285   ProgramStateRef checkNonNull(CheckerContext &C, ProgramStateRef State,
287   ProgramStateRef CheckLocation(CheckerContext &C, ProgramStateRef state,
291   ProgramStateRef CheckBufferAccess(CheckerContext &C, ProgramStateRef State,
295   ProgramStateRef CheckOverlap(CheckerContext &C, ProgramStateRef state,
299   void emitOverlapBug(CheckerContext &C,
304   void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
306   void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
308   void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
310   void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
311   void emitUninitializedReadBug(CheckerContext &C, ProgramStateRef State,
313   ProgramStateRef checkAdditionOverflow(CheckerContext &C,
321   static bool isFirstBufInBound(CheckerContext &C, ProgramStateRef State,
335 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
346 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
377 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
457 CStringChecker::CheckBufferAccess(CheckerContext &C, ProgramStateRef State,  in CheckBufferAccess()
519 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
637 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
656 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,  in emitNullArgBug()
675 void CStringChecker::emitUninitializedReadBug(CheckerContext &C,  in emitUninitializedReadBug()
693 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,  in emitOutOfBoundsBug()
713 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,  in emitNotCStringBug()
732 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,  in emitAdditionOverflowBug()
756 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
852 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
891 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
980 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
1000 bool CStringChecker::isFirstBufInBound(CheckerContext &C, ProgramStateRef State,  in isFirstBufInBound()
1062     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV,  in invalidateDestinationBufferBySize()
1083     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV) {  in invalidateDestinationBufferAlwaysEscapeSuperRegion()
1093     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV) {  in invalidateDestinationBufferNeverOverflows()
1106 ProgramStateRef CStringChecker::invalidateSourceBuffer(CheckerContext &C,  in invalidateSourceBuffer()
1124     CheckerContext &C, ProgramStateRef State, const Expr *E, SVal V,  in invalidateBufferAux()
1201                                const Expr *Size, CheckerContext &C,  in memsetAux()
1291 void CStringChecker::evalCopyCommon(CheckerContext &C, const CallEvent &Call,  in evalCopyCommon()
1392 void CStringChecker::evalMemcpy(CheckerContext &C, const CallEvent &Call,  in evalMemcpy()
1407 void CStringChecker::evalMempcpy(CheckerContext &C, const CallEvent &Call,  in evalMempcpy()
1421 void CStringChecker::evalMemmove(CheckerContext &C, const CallEvent &Call,  in evalMemmove()
1435 void CStringChecker::evalBcopy(CheckerContext &C, const CallEvent &Call) const {  in evalBcopy()
1447 void CStringChecker::evalMemcmp(CheckerContext &C, const CallEvent &Call,  in evalMemcmp()
1521 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1527 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1533 void CStringChecker::evalstrLengthCommon(CheckerContext &C,  in evalstrLengthCommon()
1652 void CStringChecker::evalStrcpy(CheckerContext &C,  in evalStrcpy()
1661 void CStringChecker::evalStrncpy(CheckerContext &C,  in evalStrncpy()
1670 void CStringChecker::evalStpcpy(CheckerContext &C,  in evalStpcpy()
1679 void CStringChecker::evalStrlcpy(CheckerContext &C,  in evalStrlcpy()
1689 void CStringChecker::evalStrcat(CheckerContext &C,  in evalStrcat()
1698 void CStringChecker::evalStrncat(CheckerContext &C,  in evalStrncat()
1707 void CStringChecker::evalStrlcat(CheckerContext &C,  in evalStrlcat()
1719 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallEvent &Call,  in evalStrcpyCommon()
2118 void CStringChecker::evalStrcmp(CheckerContext &C,  in evalStrcmp()
2124 void CStringChecker::evalStrncmp(CheckerContext &C,  in evalStrncmp()
2130 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
2136 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
2142 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallEvent &Call,  in evalStrcmpCommon()
2272 void CStringChecker::evalStrsep(CheckerContext &C,  in evalStrsep()
2333 void CStringChecker::evalStdCopy(CheckerContext &C,  in evalStdCopy()
2338 void CStringChecker::evalStdCopyBackward(CheckerContext &C,  in evalStdCopyBackward()
2343 void CStringChecker::evalStdCopyCommon(CheckerContext &C,  in evalStdCopyCommon()
2374 void CStringChecker::evalMemset(CheckerContext &C,  in evalMemset()
2425 void CStringChecker::evalBzero(CheckerContext &C, const CallEvent &Call) const {  in evalBzero()
2468 void CStringChecker::evalSprintf(CheckerContext &C,  in evalSprintf()
2476 void CStringChecker::evalSnprintf(CheckerContext &C,  in evalSnprintf()
2484 void CStringChecker::evalSprintfCommon(CheckerContext &C, const CallEvent &Call,  in evalSprintfCommon()
2524                                                      CheckerContext &C) const {  in identifyCall()
2555 bool CStringChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
2575 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2671     CheckerContext &C) const {  in checkDeadSymbols()