CStringChecker.cpp - OpenGrok cross reference for /external/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching refs:CheckerContext
62   bool evalCall(const CallExpr *CE, CheckerContext &C) const;
63   void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
65   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
75   typedef void (CStringChecker::*FnCheck)(CheckerContext &,
78   void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
79   void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
80   void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
81   void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
82   void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
90   void evalMemcmp(CheckerContext &C, const CallExpr *CE) const;
92   void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
93   void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
94   void evalstrLengthCommon(CheckerContext &C,
98   void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
99   void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
100   void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
101   void evalStrcpyCommon(CheckerContext &C,
107   void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
108   void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
110   void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
111   void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
112   void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
113   void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
114   void evalStrcmpCommon(CheckerContext &C,
119   void evalStrsep(CheckerContext &C, const CallExpr *CE) const;
121   void evalStdCopy(CheckerContext &C, const CallExpr *CE) const;
122   void evalStdCopyBackward(CheckerContext &C, const CallExpr *CE) const;
123   void evalStdCopyCommon(CheckerContext &C, const CallExpr *CE) const;
127   static assumeZero(CheckerContext &C,
133   static SVal getCStringLengthForRegion(CheckerContext &C,
138   SVal getCStringLength(CheckerContext &C,
144   const StringLiteral *getCStringLiteral(CheckerContext &C,
149   static ProgramStateRef InvalidateBuffer(CheckerContext &C,
159   ProgramStateRef checkNonNull(CheckerContext &C,
163   ProgramStateRef CheckLocation(CheckerContext &C,
168   ProgramStateRef CheckBufferAccess(CheckerContext &C,
177   ProgramStateRef CheckBufferAccess(CheckerContext &C,  in CheckBufferAccess()
187   ProgramStateRef CheckOverlap(CheckerContext &C,
192   void emitOverlapBug(CheckerContext &C,
197   ProgramStateRef checkAdditionOverflow(CheckerContext &C,
205   static bool IsFirstBufInBound(CheckerContext &C,
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()
672 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,  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()
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()
2080 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {  in checkPreStmt()
2189                                       CheckerContext &C) const {  in checkDeadSymbols()