32 class CStringChecker : public Checker< eval::Call,  class
75   typedef void (CStringChecker::*FnCheck)(CheckerContext &,
220 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
231 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
275 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
349 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
426 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
539 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
558 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
632 ProgramStateRef CStringChecker::setCStringLength(ProgramStateRef state,  in setCStringLength()
672 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
687   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),  in getCStringLengthForRegion()
710 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
810 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
830 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,  in IsFirstBufInBound()
893 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
950 bool CStringChecker::SummarizeRegion(raw_ostream &os, ASTContext &Ctx,  in SummarizeRegion()
991 void CStringChecker::evalCopyCommon(CheckerContext &C,  in evalCopyCommon()
1102 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMemcpy()
1114 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMempcpy()
1126 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {  in evalMemmove()
1138 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {  in evalBcopy()
1147 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {  in evalMemcmp()
1223 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1232 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1241 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,  in evalstrLengthCommon()
1360 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrcpy()
1371 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrncpy()
1382 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStpcpy()
1393 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrcat()
1404 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {  in evalStrncat()
1415 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcpyCommon()
1742 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrcmp()
1750 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrncmp()
1758 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
1767 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
1776 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcmpCommon()
1903 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {  in evalStrsep()
1961 void CStringChecker::evalStdCopy(CheckerContext &C, const CallExpr *CE) const {  in evalStdCopy()
1965 void CStringChecker::evalStdCopyBackward(CheckerContext &C,  in evalStdCopyBackward()
1970 void CStringChecker::evalStdCopyCommon(CheckerContext &C,  in evalStdCopyCommon()
2015 bool CStringChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {  in evalCall()
2024     evalFunction =  &CStringChecker::evalMemcpy;  in evalCall()
2026     evalFunction =  &CStringChecker::evalMempcpy;  in evalCall()
2028     evalFunction =  &CStringChecker::evalMemcmp;  in evalCall()
2030     evalFunction =  &CStringChecker::evalMemmove;  in evalCall()
2032     evalFunction =  &CStringChecker::evalStrcpy;  in evalCall()
2034     evalFunction =  &CStringChecker::evalStrncpy;  in evalCall()
2036     evalFunction =  &CStringChecker::evalStpcpy;  in evalCall()
2038     evalFunction =  &CStringChecker::evalStrcat;  in evalCall()
2040     evalFunction =  &CStringChecker::evalStrncat;  in evalCall()
2042     evalFunction =  &CStringChecker::evalstrLength;  in evalCall()
2044     evalFunction =  &CStringChecker::evalstrnLength;  in evalCall()
2046     evalFunction =  &CStringChecker::evalStrcmp;  in evalCall()
2048     evalFunction =  &CStringChecker::evalStrncmp;  in evalCall()
2050     evalFunction =  &CStringChecker::evalStrcasecmp;  in evalCall()
2052     evalFunction =  &CStringChecker::evalStrncasecmp;  in evalCall()
2054     evalFunction =  &CStringChecker::evalStrsep;  in evalCall()
2056     evalFunction =  &CStringChecker::evalBcopy;  in evalCall()
2058     evalFunction =  &CStringChecker::evalMemcmp;  in evalCall()
2060     evalFunction =  &CStringChecker::evalStdCopy;  in evalCall()
2062     evalFunction =  &CStringChecker::evalStdCopyBackward;  in evalCall()
2080 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2115 bool CStringChecker::wantsRegionChangeUpdate(ProgramStateRef state) const {  in wantsRegionChangeUpdate()
2121 CStringChecker::checkRegionChanges(ProgramStateRef state,  in checkRegionChanges()
2173 void CStringChecker::checkLiveSymbols(ProgramStateRef state,  in checkLiveSymbols()
2188 void CStringChecker::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
2214     CStringChecker *checker = mgr.registerChecker<CStringChecker>();           \