121   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
122   void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
124   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
134   using FnCheck = std::function<void(const CStringChecker *, CheckerContext &,
184   FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const;
185   void evalMemcpy(CheckerContext &C, const CallExpr *CE, CharKind CK) const;
186   void evalMempcpy(CheckerContext &C, const CallExpr *CE, CharKind CK) const;
187   void evalMemmove(CheckerContext &C, const CallExpr *CE, CharKind CK) const;
188   void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
189   void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
194   void evalMemcmp(CheckerContext &C, const CallExpr *CE, CharKind CK) const;
196   void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
197   void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
198   void evalstrLengthCommon(CheckerContext &C,
202   void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
203   void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
204   void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
205   void evalStrlcpy(CheckerContext &C, const CallExpr *CE) const;
206   void evalStrcpyCommon(CheckerContext &C, const CallExpr *CE, bool ReturnEnd,
210   void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
211   void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
212   void evalStrlcat(CheckerContext &C, const CallExpr *CE) const;
214   void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
215   void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
216   void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
217   void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
218   void evalStrcmpCommon(CheckerContext &C,
223   void evalStrsep(CheckerContext &C, const CallExpr *CE) const;
225   void evalStdCopy(CheckerContext &C, const CallExpr *CE) const;
226   void evalStdCopyBackward(CheckerContext &C, const CallExpr *CE) const;
227   void evalStdCopyCommon(CheckerContext &C, const CallExpr *CE) const;
228   void evalMemset(CheckerContext &C, const CallExpr *CE) const;
229   void evalBzero(CheckerContext &C, const CallExpr *CE) const;
233   static assumeZero(CheckerContext &C,
239   static SVal getCStringLengthForRegion(CheckerContext &C,
244   SVal getCStringLength(CheckerContext &C,
250   const StringLiteral *getCStringLiteral(CheckerContext &C,
255   static ProgramStateRef InvalidateBuffer(CheckerContext &C,
265                         const Expr *Size, CheckerContext &C,
269   ProgramStateRef checkNonNull(CheckerContext &C, ProgramStateRef State,
271   ProgramStateRef CheckLocation(CheckerContext &C, ProgramStateRef state,
275   ProgramStateRef CheckBufferAccess(CheckerContext &C, ProgramStateRef State,
279   ProgramStateRef CheckOverlap(CheckerContext &C, ProgramStateRef state,
283   void emitOverlapBug(CheckerContext &C,
288   void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
290   void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
292   void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
294   void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
295   void emitUninitializedReadBug(CheckerContext &C, ProgramStateRef State,
297   ProgramStateRef checkAdditionOverflow(CheckerContext &C,
305   static bool IsFirstBufInBound(CheckerContext &C,
320 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
331 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
362 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
442 CStringChecker::CheckBufferAccess(CheckerContext &C, ProgramStateRef State,  in CheckBufferAccess()
498 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
616 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
635 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,  in emitNullArgBug()
652 void CStringChecker::emitUninitializedReadBug(CheckerContext &C,  in emitUninitializedReadBug()
672 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,  in emitOutOfBoundsBug()
694 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,  in emitNotCStringBug()
711 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,  in emitAdditionOverflowBug()
732 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
828 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
867 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
942 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
962 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,  in IsFirstBufInBound()
1026 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
1123                                const Expr *Size, CheckerContext &C,  in memsetAux()
1213 void CStringChecker::evalCopyCommon(CheckerContext &C, const CallExpr *CE,  in evalCopyCommon()
1314 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE,  in evalMemcpy()
1329 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE,  in evalMempcpy()
1343 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE,  in evalMemmove()
1357 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {  in evalBcopy()
1369 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE,  in evalMemcmp()
1441 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1447 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1453 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,  in evalstrLengthCommon()
1571 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrcpy()
1579 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrncpy()
1587 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStpcpy()
1595 void CStringChecker::evalStrlcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcpy()
1604 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrcat()
1612 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {  in evalStrncat()
1620 void CStringChecker::evalStrlcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcat()
1631 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcpyCommon()
2014 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrcmp()
2019 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrncmp()
2024 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
2030 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
2036 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcmpCommon()
2165 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {  in evalStrsep()
2225 void CStringChecker::evalStdCopy(CheckerContext &C, const CallExpr *CE) const {  in evalStdCopy()
2229 void CStringChecker::evalStdCopyBackward(CheckerContext &C,  in evalStdCopyBackward()
2234 void CStringChecker::evalStdCopyCommon(CheckerContext &C,  in evalStdCopyCommon()
2262 void CStringChecker::evalMemset(CheckerContext &C, const CallExpr *CE) const {  in evalMemset()
2312 void CStringChecker::evalBzero(CheckerContext &C, const CallExpr *CE) const {  in evalBzero()
2360                                                      CheckerContext &C) const {  in identifyCall()
2391 bool CStringChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {  in evalCall()
2411 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2516     CheckerContext &C) const {  in checkDeadSymbols()