114   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
115   void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
117   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
127   using FnCheck = std::function<void(const CStringChecker *, CheckerContext &,
199   FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const;
200   void evalMemcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
201   void evalMempcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
202   void evalMemmove(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
203   void evalBcopy(CheckerContext &C, const CallEvent &Call) const;
204   void evalCopyCommon(CheckerContext &C, const CallEvent &Call,
209   void evalMemcmp(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
211   void evalstrLength(CheckerContext &C, const CallEvent &Call) const;
212   void evalstrnLength(CheckerContext &C, const CallEvent &Call) const;
213   void evalstrLengthCommon(CheckerContext &C, const CallEvent &Call,
216   void evalStrcpy(CheckerContext &C, const CallEvent &Call) const;
217   void evalStrncpy(CheckerContext &C, const CallEvent &Call) const;
218   void evalStpcpy(CheckerContext &C, const CallEvent &Call) const;
219   void evalStrlcpy(CheckerContext &C, const CallEvent &Call) const;
220   void evalStrcpyCommon(CheckerContext &C, const CallEvent &Call,
224   void evalStrcat(CheckerContext &C, const CallEvent &Call) const;
225   void evalStrncat(CheckerContext &C, const CallEvent &Call) const;
226   void evalStrlcat(CheckerContext &C, const CallEvent &Call) const;
228   void evalStrcmp(CheckerContext &C, const CallEvent &Call) const;
229   void evalStrncmp(CheckerContext &C, const CallEvent &Call) const;
230   void evalStrcasecmp(CheckerContext &C, const CallEvent &Call) const;
231   void evalStrncasecmp(CheckerContext &C, const CallEvent &Call) const;
232   void evalStrcmpCommon(CheckerContext &C, const CallEvent &Call,
235   void evalStrsep(CheckerContext &C, const CallEvent &Call) const;
237   void evalStdCopy(CheckerContext &C, const CallEvent &Call) const;
238   void evalStdCopyBackward(CheckerContext &C, const CallEvent &Call) const;
239   void evalStdCopyCommon(CheckerContext &C, const CallEvent &Call) const;
240   void evalMemset(CheckerContext &C, const CallEvent &Call) const;
241   void evalBzero(CheckerContext &C, const CallEvent &Call) const;
243   void evalSprintf(CheckerContext &C, const CallEvent &Call) const;
244   void evalSnprintf(CheckerContext &C, const CallEvent &Call) const;
245   void evalSprintfCommon(CheckerContext &C, const CallEvent &Call,
250   static assumeZero(CheckerContext &C,
256   static SVal getCStringLengthForRegion(CheckerContext &C,
261   SVal getCStringLength(CheckerContext &C,
267   const StringLiteral *getCStringLiteral(CheckerContext &C,
274   invalidateDestinationBufferBySize(CheckerContext &C, ProgramStateRef S,
280       CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV);
285       CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV);
288   static ProgramStateRef invalidateSourceBuffer(CheckerContext &C,
296       CheckerContext &C, ProgramStateRef State, const Expr *Ex, SVal V,
305                         const Expr *Size, CheckerContext &C,
309   ProgramStateRef checkNonNull(CheckerContext &C, ProgramStateRef State,
313   ProgramStateRef checkInit(CheckerContext &C, ProgramStateRef state,
315   ProgramStateRef CheckLocation(CheckerContext &C, ProgramStateRef state,
319   ProgramStateRef CheckBufferAccess(CheckerContext &C, ProgramStateRef State,
323   ProgramStateRef CheckOverlap(CheckerContext &C, ProgramStateRef state,
327   void emitOverlapBug(CheckerContext &C,
332   void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
334   void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
336   void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
338   void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
339   void emitUninitializedReadBug(CheckerContext &C, ProgramStateRef State,
341   ProgramStateRef checkAdditionOverflow(CheckerContext &C,
349   static bool isFirstBufInBound(CheckerContext &C, ProgramStateRef State,
363 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef State, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
374 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
435 ProgramStateRef CStringChecker::checkInit(CheckerContext &C,  in checkInit()
548 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
598 CStringChecker::CheckBufferAccess(CheckerContext &C, ProgramStateRef State,  in CheckBufferAccess()
663 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
781 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
800 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,  in emitNullArgBug()
819 void CStringChecker::emitUninitializedReadBug(CheckerContext &C,  in emitUninitializedReadBug()
838 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,  in emitOutOfBoundsBug()
858 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,  in emitNotCStringBug()
877 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,  in emitAdditionOverflowBug()
901 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
997 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
1036 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
1125 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
1145 bool CStringChecker::isFirstBufInBound(CheckerContext &C, ProgramStateRef State,  in isFirstBufInBound()
1207     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV,  in invalidateDestinationBufferBySize()
1228     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV) {  in invalidateDestinationBufferAlwaysEscapeSuperRegion()
1238     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV) {  in invalidateDestinationBufferNeverOverflows()
1251 ProgramStateRef CStringChecker::invalidateSourceBuffer(CheckerContext &C,  in invalidateSourceBuffer()
1269     CheckerContext &C, ProgramStateRef State, const Expr *E, SVal V,  in invalidateBufferAux()
1346                                const Expr *Size, CheckerContext &C,  in memsetAux()
1436 void CStringChecker::evalCopyCommon(CheckerContext &C, const CallEvent &Call,  in evalCopyCommon()
1540 void CStringChecker::evalMemcpy(CheckerContext &C, const CallEvent &Call,  in evalMemcpy()
1555 void CStringChecker::evalMempcpy(CheckerContext &C, const CallEvent &Call,  in evalMempcpy()
1569 void CStringChecker::evalMemmove(CheckerContext &C, const CallEvent &Call,  in evalMemmove()
1583 void CStringChecker::evalBcopy(CheckerContext &C, const CallEvent &Call) const {  in evalBcopy()
1595 void CStringChecker::evalMemcmp(CheckerContext &C, const CallEvent &Call,  in evalMemcmp()
1669 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1675 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1681 void CStringChecker::evalstrLengthCommon(CheckerContext &C,  in evalstrLengthCommon()
1800 void CStringChecker::evalStrcpy(CheckerContext &C,  in evalStrcpy()
1809 void CStringChecker::evalStrncpy(CheckerContext &C,  in evalStrncpy()
1818 void CStringChecker::evalStpcpy(CheckerContext &C,  in evalStpcpy()
1827 void CStringChecker::evalStrlcpy(CheckerContext &C,  in evalStrlcpy()
1837 void CStringChecker::evalStrcat(CheckerContext &C,  in evalStrcat()
1846 void CStringChecker::evalStrncat(CheckerContext &C,  in evalStrncat()
1855 void CStringChecker::evalStrlcat(CheckerContext &C,  in evalStrlcat()
1867 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallEvent &Call,  in evalStrcpyCommon()
2266 void CStringChecker::evalStrcmp(CheckerContext &C,  in evalStrcmp()
2272 void CStringChecker::evalStrncmp(CheckerContext &C,  in evalStrncmp()
2278 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
2284 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
2290 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallEvent &Call,  in evalStrcmpCommon()
2420 void CStringChecker::evalStrsep(CheckerContext &C,  in evalStrsep()
2481 void CStringChecker::evalStdCopy(CheckerContext &C,  in evalStdCopy()
2486 void CStringChecker::evalStdCopyBackward(CheckerContext &C,  in evalStdCopyBackward()
2491 void CStringChecker::evalStdCopyCommon(CheckerContext &C,  in evalStdCopyCommon()
2522 void CStringChecker::evalMemset(CheckerContext &C,  in evalMemset()
2573 void CStringChecker::evalBzero(CheckerContext &C, const CallEvent &Call) const {  in evalBzero()
2616 void CStringChecker::evalSprintf(CheckerContext &C,  in evalSprintf()
2622 void CStringChecker::evalSnprintf(CheckerContext &C,  in evalSnprintf()
2628 void CStringChecker::evalSprintfCommon(CheckerContext &C, const CallEvent &Call,  in evalSprintfCommon()
2671                                                      CheckerContext &C) const {  in identifyCall()
2702 bool CStringChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
2722 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2818     CheckerContext &C) const {  in checkDeadSymbols()