32 class CStringChecker : public Checker< eval::Call,  class
75   typedef void (CStringChecker::*FnCheck)(CheckerContext &,
216 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
227 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
271 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
345 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
422 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
535 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
554 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
628 ProgramStateRef CStringChecker::setCStringLength(ProgramStateRef state,  in setCStringLength()
668 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
683   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),  in getCStringLengthForRegion()
706 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
806 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
826 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,  in IsFirstBufInBound()
889 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
946 bool CStringChecker::SummarizeRegion(raw_ostream &os, ASTContext &Ctx,  in SummarizeRegion()
987 void CStringChecker::evalCopyCommon(CheckerContext &C,  in evalCopyCommon()
1098 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMemcpy()
1110 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMempcpy()
1122 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {  in evalMemmove()
1134 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {  in evalBcopy()
1143 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {  in evalMemcmp()
1219 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1228 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1237 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,  in evalstrLengthCommon()
1356 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrcpy()
1367 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrncpy()
1378 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStpcpy()
1389 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrcat()
1400 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {  in evalStrncat()
1411 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcpyCommon()
1738 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrcmp()
1746 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrncmp()
1754 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
1763 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
1772 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcmpCommon()
1896 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {  in evalStrsep()
1958 bool CStringChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {  in evalCall()
1967     evalFunction =  &CStringChecker::evalMemcpy;  in evalCall()
1969     evalFunction =  &CStringChecker::evalMempcpy;  in evalCall()
1971     evalFunction =  &CStringChecker::evalMemcmp;  in evalCall()
1973     evalFunction =  &CStringChecker::evalMemmove;  in evalCall()
1975     evalFunction =  &CStringChecker::evalStrcpy;  in evalCall()
1977     evalFunction =  &CStringChecker::evalStrncpy;  in evalCall()
1979     evalFunction =  &CStringChecker::evalStpcpy;  in evalCall()
1981     evalFunction =  &CStringChecker::evalStrcat;  in evalCall()
1983     evalFunction =  &CStringChecker::evalStrncat;  in evalCall()
1985     evalFunction =  &CStringChecker::evalstrLength;  in evalCall()
1987     evalFunction =  &CStringChecker::evalstrnLength;  in evalCall()
1989     evalFunction =  &CStringChecker::evalStrcmp;  in evalCall()
1991     evalFunction =  &CStringChecker::evalStrncmp;  in evalCall()
1993     evalFunction =  &CStringChecker::evalStrcasecmp;  in evalCall()
1995     evalFunction =  &CStringChecker::evalStrncasecmp;  in evalCall()
1997     evalFunction =  &CStringChecker::evalStrsep;  in evalCall()
1999     evalFunction =  &CStringChecker::evalBcopy;  in evalCall()
2001     evalFunction =  &CStringChecker::evalMemcmp;  in evalCall()
2022 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2057 bool CStringChecker::wantsRegionChangeUpdate(ProgramStateRef state) const {  in wantsRegionChangeUpdate()
2063 CStringChecker::checkRegionChanges(ProgramStateRef state,  in checkRegionChanges()
2115 void CStringChecker::checkLiveSymbols(ProgramStateRef state,  in checkLiveSymbols()
2130 void CStringChecker::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
2156     CStringChecker *checker = mgr.registerChecker<CStringChecker>();           \