Lines Matching refs:CheckerContext
21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
60 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
61 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
63 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
73 typedef void (CStringChecker::*FnCheck)(CheckerContext &,
76 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
77 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
78 void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
79 void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
80 void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
88 void evalMemcmp(CheckerContext &C, const CallExpr *CE) const;
90 void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
91 void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
92 void evalstrLengthCommon(CheckerContext &C,
96 void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
97 void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
98 void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
99 void evalStrcpyCommon(CheckerContext &C,
105 void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
106 void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
108 void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
109 void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
110 void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
111 void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
112 void evalStrcmpCommon(CheckerContext &C,
117 void evalStrsep(CheckerContext &C, const CallExpr *CE) const;
121 static assumeZero(CheckerContext &C,
127 static SVal getCStringLengthForRegion(CheckerContext &C,
132 SVal getCStringLength(CheckerContext &C,
138 const StringLiteral *getCStringLiteral(CheckerContext &C,
143 static ProgramStateRef InvalidateBuffer(CheckerContext &C,
151 ProgramStateRef checkNonNull(CheckerContext &C,
155 ProgramStateRef CheckLocation(CheckerContext &C,
160 ProgramStateRef CheckBufferAccess(CheckerContext &C,
169 ProgramStateRef CheckBufferAccess(CheckerContext &C,
179 ProgramStateRef CheckOverlap(CheckerContext &C,
184 void emitOverlapBug(CheckerContext &C,
189 ProgramStateRef checkAdditionOverflow(CheckerContext &C,
204 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,
215 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,
258 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,
331 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,
408 CheckerContext &C,
521 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,
540 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,
653 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,
678 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,
778 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,
798 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,
871 void CStringChecker::evalCopyCommon(CheckerContext &C,
970 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {
982 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {
994 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {
1006 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {
1015 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {
1090 void CStringChecker::evalstrLength(CheckerContext &C,
1099 void CStringChecker::evalstrnLength(CheckerContext &C,
1108 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,
1225 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {
1236 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {
1247 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {
1258 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {
1269 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {
1280 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,
1600 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {
1608 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {
1616 void CStringChecker::evalStrcasecmp(CheckerContext &C,
1625 void CStringChecker::evalStrncasecmp(CheckerContext &C,
1634 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,
1757 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {
1818 bool CStringChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
1886 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
1996 CheckerContext &C) const {