31 class CStringChecker : public Checker< eval::Call,  class
74   typedef void (CStringChecker::*FnCheck)(CheckerContext &,
236 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
247 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
275 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
335 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
414 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
527 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
546 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,  in emitNullArgBug()
563 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,  in emitOutOfBoundsBug()
585 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,  in emitNotCStringBug()
601 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,  in emitAdditionOverflowBug()
621 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
676 ProgramStateRef CStringChecker::setCStringLength(ProgramStateRef state,  in setCStringLength()
716 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
731   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),  in getCStringLengthForRegion()
755 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
829 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
849 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,  in IsFirstBufInBound()
915 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
972 bool CStringChecker::SummarizeRegion(raw_ostream &os, ASTContext &Ctx,  in SummarizeRegion()
1009 bool CStringChecker::memsetAux(const Expr *DstBuffer, SVal CharVal,  in memsetAux()
1076           CStringChecker::getTag(), MR, DstBuffer, Ctx.getSizeType(),  in memsetAux()
1101 void CStringChecker::evalCopyCommon(CheckerContext &C,  in evalCopyCommon()
1203 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMemcpy()
1215 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMempcpy()
1227 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {  in evalMemmove()
1239 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {  in evalBcopy()
1248 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {  in evalMemcmp()
1324 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1333 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1342 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,  in evalstrLengthCommon()
1461 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrcpy()
1472 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrncpy()
1483 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStpcpy()
1494 void CStringChecker::evalStrlcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcpy()
1506 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrcat()
1517 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {  in evalStrncat()
1528 void CStringChecker::evalStrlcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrlcat()
1540 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcpyCommon()
1883 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrcmp()
1891 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrncmp()
1899 void CStringChecker::evalStrcasecmp(CheckerContext &C,  in evalStrcasecmp()
1908 void CStringChecker::evalStrncasecmp(CheckerContext &C,  in evalStrncasecmp()
1917 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcmpCommon()
2044 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {  in evalStrsep()
2106 void CStringChecker::evalStdCopy(CheckerContext &C, const CallExpr *CE) const {  in evalStdCopy()
2110 void CStringChecker::evalStdCopyBackward(CheckerContext &C,  in evalStdCopyBackward()
2115 void CStringChecker::evalStdCopyCommon(CheckerContext &C,  in evalStdCopyCommon()
2143 void CStringChecker::evalMemset(CheckerContext &C, const CallExpr *CE) const {  in evalMemset()
2194 void CStringChecker::evalBzero(CheckerContext &C, const CallExpr *CE) const {  in evalBzero()
2257 static CStringChecker::FnCheck identifyCall(const CallExpr *CE,  in identifyCall()
2269     return &CStringChecker::evalStdCopy;  in identifyCall()
2273     return &CStringChecker::evalStdCopyBackward;  in identifyCall()
2285     return &CStringChecker::evalMemcpy;  in identifyCall()
2287     return &CStringChecker::evalMempcpy;  in identifyCall()
2289     return &CStringChecker::evalMemcmp;  in identifyCall()
2291     return &CStringChecker::evalMemmove;  in identifyCall()
2294     return &CStringChecker::evalMemset;  in identifyCall()
2296     return &CStringChecker::evalStrcpy;  in identifyCall()
2298     return &CStringChecker::evalStrncpy;  in identifyCall()
2300     return &CStringChecker::evalStpcpy;  in identifyCall()
2302     return &CStringChecker::evalStrlcpy;  in identifyCall()
2304     return &CStringChecker::evalStrcat;  in identifyCall()
2306     return &CStringChecker::evalStrncat;  in identifyCall()
2308     return &CStringChecker::evalStrlcat;  in identifyCall()
2310     return &CStringChecker::evalstrLength;  in identifyCall()
2312     return &CStringChecker::evalstrnLength;  in identifyCall()
2314     return &CStringChecker::evalStrcmp;  in identifyCall()
2316     return &CStringChecker::evalStrncmp;  in identifyCall()
2318     return &CStringChecker::evalStrcasecmp;  in identifyCall()
2320     return &CStringChecker::evalStrncasecmp;  in identifyCall()
2322     return &CStringChecker::evalStrsep;  in identifyCall()
2324     return &CStringChecker::evalBcopy;  in identifyCall()
2326     return &CStringChecker::evalMemcmp;  in identifyCall()
2329     return &CStringChecker::evalBzero;  in identifyCall()
2334 bool CStringChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {  in evalCall()
2354 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2390 CStringChecker::checkRegionChanges(ProgramStateRef state,  in checkRegionChanges()
2443 void CStringChecker::checkLiveSymbols(ProgramStateRef state,  in checkLiveSymbols()
2458 void CStringChecker::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
2481     CStringChecker *checker = mgr.registerChecker<CStringChecker>();           \
2492     Mgr.registerChecker<CStringChecker>();  in REGISTER_CHECKER()