32 class CStringChecker : public Checker< eval::Call,  class
75   typedef void (CStringChecker::*FnCheck)(CheckerContext &,
207 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,  in REGISTER_MAP_WITH_PROGRAMSTATE()
218 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,  in checkNonNull()
262 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,  in CheckLocation()
336 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
413 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,  in CheckOverlap()
526 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,  in emitOverlapBug()
546 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,  in checkAdditionOverflow()
620 ProgramStateRef CStringChecker::setCStringLength(ProgramStateRef state,  in setCStringLength()
660 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  in getCStringLengthForRegion()
675   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),  in getCStringLengthForRegion()
698 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,  in getCStringLength()
799 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,  in getCStringLiteral()
819 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,  in InvalidateBuffer()
865 bool CStringChecker::SummarizeRegion(raw_ostream &os, ASTContext &Ctx,  in SummarizeRegion()
906 void CStringChecker::evalCopyCommon(CheckerContext &C,   in evalCopyCommon()
1017 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMemcpy()
1029 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {  in evalMempcpy()
1041 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {  in evalMemmove()
1053 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {  in evalBcopy()
1062 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {  in evalMemcmp()
1138 void CStringChecker::evalstrLength(CheckerContext &C,  in evalstrLength()
1147 void CStringChecker::evalstrnLength(CheckerContext &C,  in evalstrnLength()
1156 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,  in evalstrLengthCommon()
1275 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrcpy()
1286 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {  in evalStrncpy()
1297 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {  in evalStpcpy()
1308 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {  in evalStrcat()
1319 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {  in evalStrncat()
1330 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcpyCommon()
1656 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrcmp()
1664 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {  in evalStrncmp()
1672 void CStringChecker::evalStrcasecmp(CheckerContext &C,   in evalStrcasecmp()
1681 void CStringChecker::evalStrncasecmp(CheckerContext &C,   in evalStrncasecmp()
1690 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,  in evalStrcmpCommon()
1814 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {  in evalStrsep()
1876 bool CStringChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {  in evalCall()
1885     evalFunction =  &CStringChecker::evalMemcpy;  in evalCall()
1887     evalFunction =  &CStringChecker::evalMempcpy;  in evalCall()
1889     evalFunction =  &CStringChecker::evalMemcmp;  in evalCall()
1891     evalFunction =  &CStringChecker::evalMemmove;  in evalCall()
1893     evalFunction =  &CStringChecker::evalStrcpy;  in evalCall()
1895     evalFunction =  &CStringChecker::evalStrncpy;  in evalCall()
1897     evalFunction =  &CStringChecker::evalStpcpy;  in evalCall()
1899     evalFunction =  &CStringChecker::evalStrcat;  in evalCall()
1901     evalFunction =  &CStringChecker::evalStrncat;  in evalCall()
1903     evalFunction =  &CStringChecker::evalstrLength;  in evalCall()
1905     evalFunction =  &CStringChecker::evalstrnLength;  in evalCall()
1907     evalFunction =  &CStringChecker::evalStrcmp;  in evalCall()
1909     evalFunction =  &CStringChecker::evalStrncmp;  in evalCall()
1911     evalFunction =  &CStringChecker::evalStrcasecmp;  in evalCall()
1913     evalFunction =  &CStringChecker::evalStrncasecmp;  in evalCall()
1915     evalFunction =  &CStringChecker::evalStrsep;  in evalCall()
1917     evalFunction =  &CStringChecker::evalBcopy;  in evalCall()
1919     evalFunction =  &CStringChecker::evalMemcmp;  in evalCall()
1944 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
1979 bool CStringChecker::wantsRegionChangeUpdate(ProgramStateRef state) const {  in wantsRegionChangeUpdate()
1985 CStringChecker::checkRegionChanges(ProgramStateRef state,  in checkRegionChanges()
2037 void CStringChecker::checkLiveSymbols(ProgramStateRef state,  in checkLiveSymbols()
2052 void CStringChecker::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
2078     CStringChecker *checker = mgr.registerChecker<CStringChecker>();           \