|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h 42 class CheckerContext;
References
tools/clang/include/clang/StaticAnalyzer/Core/Checker.h 84 static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
103 static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
122 CheckerContext &C) {
137 CheckerContext &C) {
152 CheckerContext &C) {
167 CheckerContext &C) {
182 CheckerContext &C) {
198 CheckerContext &C) {
214 CheckerContext &C) {
243 static void _checkBeginFunction(void *checker, CheckerContext &C) {
258 CheckerContext &C) {
273 CheckerContext & C) {
289 SVal Target, CheckerContext &C) {
320 SymbolReaper &SR, CheckerContext &C) {
478 CheckerContext &C) {
tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h 442 using CheckStmtFunc = CheckerFn<void (const Stmt *, CheckerContext &)>;
445 CheckerFn<void (const ObjCMethodCall &, CheckerContext &)>;
448 CheckerFn<void (const CallEvent &, CheckerContext &)>;
452 CheckerContext &)>;
456 CheckerContext &)>;
461 using CheckBeginFunctionFunc = CheckerFn<void (CheckerContext &)>;
464 CheckerFn<void (const ReturnStmt *, CheckerContext &)>;
467 CheckerFn<void (const Stmt *, CheckerContext &)>;
470 CheckerFn<void (const CXXNewExpr *, SVal, CheckerContext &)>;
473 CheckerFn<void (SymbolReaper &, CheckerContext &)>;
495 using EvalCallFunc = CheckerFn<bool (const CallEvent &, CheckerContext &)>;
tools/clang/lib/Analysis/plugins/CheckerDependencyHandling/CheckerDependencyHandling.cpp 11 void checkBeginFunction(CheckerContext &Ctx) const {}
14 void checkBeginFunction(CheckerContext &Ctx) const {}
tools/clang/lib/Analysis/plugins/CheckerOptionHandling/CheckerOptionHandling.cpp 11 void checkBeginFunction(CheckerContext &Ctx) const {}
tools/clang/lib/Analysis/plugins/SampleAnalyzer/MainCallChecker.cpp 14 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
19 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/AnalysisOrderChecker.cpp 51 bool isCallbackEnabled(CheckerContext &C, StringRef CallbackName) const {
63 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const {
69 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const {
76 CheckerContext &C) const {
82 CheckerContext &C) const {
87 void checkPreStmt(const CXXNewExpr *NE, CheckerContext &C) const {
92 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const {
97 void checkPreStmt(const OffsetOfExpr *OOE, CheckerContext &C) const {
102 void checkPostStmt(const OffsetOfExpr *OOE, CheckerContext &C) const {
107 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {
116 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {
125 void checkEndFunction(const ReturnStmt *S, CheckerContext &C) const {
143 CheckerContext &C) const {
148 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp 31 CheckerContext &C) const;
36 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp 37 void reportOOB(CheckerContext &C, ProgramStateRef errorState, OOB_Kind kind,
42 CheckerContext &C) const;
117 CheckerContext &checkerContext) const {
231 CheckerContext &checkerContext, ProgramStateRef errorState, OOB_Kind kind,
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 115 CheckerContext &C) const;
117 void warnIfNilArg(CheckerContext &C,
126 CheckerContext &C) const;
129 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
131 CheckerContext &C) const;
133 CheckerContext &C) const;
139 CheckerContext &C) const {
149 void NilArgChecker::warnIfNilArg(CheckerContext &C,
210 CheckerContext &C) const {
221 CheckerContext &C) const {
320 CheckerContext &C) const {
328 CheckerContext &C) const {
348 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
428 CheckerContext &C) const {
542 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
547 CheckerContext &C) const {
602 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
607 CheckerContext &C) const {
662 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
715 CheckerContext &C) const {
816 CheckerContext &C) const;
820 void checkPostStmt(const ObjCForCollectionStmt *FCS, CheckerContext &C) const;
821 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
822 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
855 static ProgramStateRef checkCollectionNonNil(CheckerContext &C,
880 static ProgramStateRef checkElementNonNil(CheckerContext &C,
914 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State,
945 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State,
977 CheckerContext &C) const {
1000 CheckerContext &C) const {
1012 CheckerContext &C) const {
1120 CheckerContext &C) const {
1156 CheckerContext &C) const;
1157 void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const {
1161 void checkPostStmt(const ObjCArrayLiteral *E, CheckerContext &C) const {
1164 void checkPostStmt(const ObjCDictionaryLiteral *E, CheckerContext &C) const {
1167 void checkPostStmt(const ObjCBoxedExpr *E, CheckerContext &C) const {
1171 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
1178 CheckerContext &C) const {
1186 CheckerContext &C)
tools/clang/lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp 46 CheckerContext &C) const;
58 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
144 CheckerContext &C) const {
167 SymbolRef BlockDescSym, const CallEvent &Call, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp 26 void emitReport(ProgramStateRef state, CheckerContext &C) const;
28 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
33 CheckerContext &C) const {
56 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp 27 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
33 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 61 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
62 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
64 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
108 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
109 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
110 void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
111 void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
112 void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
120 void evalMemcmp(CheckerContext &C, const CallExpr *CE) const;
122 void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
123 void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
124 void evalstrLengthCommon(CheckerContext &C,
128 void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
129 void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
130 void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
131 void evalStrlcpy(CheckerContext &C, const CallExpr *CE) const;
132 void evalStrcpyCommon(CheckerContext &C,
139 void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
140 void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
141 void evalStrlcat(CheckerContext &C, const CallExpr *CE) const;
143 void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
144 void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
145 void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
146 void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
147 void evalStrcmpCommon(CheckerContext &C,
152 void evalStrsep(CheckerContext &C, const CallExpr *CE) const;
154 void evalStdCopy(CheckerContext &C, const CallExpr *CE) const;
155 void evalStdCopyBackward(CheckerContext &C, const CallExpr *CE) const;
156 void evalStdCopyCommon(CheckerContext &C, const CallExpr *CE) const;
157 void evalMemset(CheckerContext &C, const CallExpr *CE) const;
158 void evalBzero(CheckerContext &C, const CallExpr *CE) const;
162 static assumeZero(CheckerContext &C,
168 static SVal getCStringLengthForRegion(CheckerContext &C,
173 SVal getCStringLength(CheckerContext &C,
179 const StringLiteral *getCStringLiteral(CheckerContext &C,
184 static ProgramStateRef InvalidateBuffer(CheckerContext &C,
194 const Expr *Size, CheckerContext &C,
198 ProgramStateRef checkNonNull(CheckerContext &C,
203 ProgramStateRef CheckLocation(CheckerContext &C,
208 ProgramStateRef CheckBufferAccess(CheckerContext &C,
217 ProgramStateRef CheckBufferAccess(CheckerContext &C,
227 ProgramStateRef CheckOverlap(CheckerContext &C,
232 void emitOverlapBug(CheckerContext &C,
237 void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
239 void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
241 void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
243 void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
245 ProgramStateRef checkAdditionOverflow(CheckerContext &C,
253 static bool IsFirstBufInBound(CheckerContext &C,
268 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,
279 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,
310 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,
370 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,
449 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,
562 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,
581 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,
598 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,
620 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
637 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,
658 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,
753 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,
792 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,
866 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,
886 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,
952 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,
1047 const Expr *Size, CheckerContext &C,
1138 void CStringChecker::evalCopyCommon(CheckerContext &C,
1240 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {
1249 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {
1258 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {
1267 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {
1273 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {
1346 void CStringChecker::evalstrLength(CheckerContext &C,
1352 void CStringChecker::evalstrnLength(CheckerContext &C,
1358 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,
1477 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {
1485 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {
1493 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {
1501 void CStringChecker::evalStrlcpy(CheckerContext &C, const CallExpr *CE) const {
1510 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {
1518 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {
1526 void CStringChecker::evalStrlcat(CheckerContext &C, const CallExpr *CE) const {
1539 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,
1882 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {
1887 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {
1892 void CStringChecker::evalStrcasecmp(CheckerContext &C,
1898 void CStringChecker::evalStrncasecmp(CheckerContext &C,
1904 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,
2031 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {
2090 void CStringChecker::evalStdCopy(CheckerContext &C, const CallExpr *CE) const {
2094 void CStringChecker::evalStdCopyBackward(CheckerContext &C,
2099 void CStringChecker::evalStdCopyCommon(CheckerContext &C,
2127 void CStringChecker::evalMemset(CheckerContext &C, const CallExpr *CE) const {
2175 void CStringChecker::evalBzero(CheckerContext &C, const CallExpr *CE) const {
2255 bool CStringChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {
2275 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
2380 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CStringSyntaxChecker.cpp 59 return (CheckerContext::isCLibraryFunction(FD, "strlen") &&
218 if (CheckerContext::isCLibraryFunction(FD, "strncat")) {
242 } else if (CheckerContext::isCLibraryFunction(FD, "strlcpy") ||
243 CheckerContext::isCLibraryFunction(FD, "strlcat")) {
tools/clang/lib/StaticAnalyzer/Checkers/CXXSelfAssignmentChecker.cpp 32 void checkBeginFunction(CheckerContext &C) const;
38 void CXXSelfAssignmentChecker::checkBeginFunction(CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp 54 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
55 void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const;
56 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
61 void checkObjCMessageNil(const ObjCMethodCall &msg, CheckerContext &C) const;
63 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
66 bool PreVisitProcessArg(CheckerContext &C, SVal V, SourceRange ArgRange,
72 static void emitBadCall(BugType *BT, CheckerContext &C, const Expr *BadE);
73 void emitNilReceiverBug(CheckerContext &C, const ObjCMethodCall &msg,
76 void HandleNilReceiver(CheckerContext &C,
84 bool uninitRefOrPointer(CheckerContext &C, const SVal &V,
92 void CallAndMessageChecker::emitBadCall(BugType *BT, CheckerContext &C,
144 CheckerContext &C, const SVal &V, SourceRange ArgRange, const Expr *ArgEx,
232 bool CallAndMessageChecker::PreVisitProcessArg(CheckerContext &C,
315 CheckerContext &C) const{
345 CheckerContext &C) const {
369 CheckerContext &C) const {
457 CheckerContext &C) const {
499 CheckerContext &C) const {
503 void CallAndMessageChecker::emitNilReceiverBug(CheckerContext &C,
544 void CallAndMessageChecker::HandleNilReceiver(CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp 28 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
87 void CastSizeChecker::checkPreStmt(const CastExpr *CE,CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp 38 DefinedOrUnknownSVal, CheckerContext &)>;
53 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
77 CheckerContext &C) const;
79 CheckerContext &C) const;
81 CheckerContext &C) const;
83 CheckerContext &C) const;
85 CheckerContext &C) const;
87 CheckerContext &C) const;
89 CheckerContext &C) const;
91 CheckerContext &C) const;
103 static const NoteTag *getNoteTag(CheckerContext &C,
156 CheckerContext &C, bool IsNonNullParam,
218 ProgramStateRef State, CheckerContext &C,
264 CheckerContext &C,
272 CheckerContext &C) {
279 CheckerContext &C) {
289 CheckerContext &C) const {
295 CheckerContext &C) const {
302 CheckerContext &C) const {
309 CheckerContext &C) const {
321 CheckerContext &C,
329 CheckerContext &C) {
336 CheckerContext &C) const {
341 CheckerContext &C) const {
351 CheckerContext &C) const {
367 CheckerContext &C) const {
386 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp 115 void checkBeginFunction(CheckerContext &Ctx) const;
116 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
117 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
118 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
127 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
128 void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const;
131 void diagnoseMissingReleases(CheckerContext &C) const;
134 CheckerContext &C) const;
138 CheckerContext &C) const;
141 CheckerContext &C) const;
148 CheckerContext &C) const;
153 bool isInInstanceDealloc(const CheckerContext &C, SVal &SelfValOut) const;
154 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
156 bool instanceDeallocIsOnStack(const CheckerContext &C,
166 void transitionToReleaseValue(CheckerContext &C, SymbolRef Value) const;
254 CheckerContext &C) const {
329 const ObjCMethodCall &M, CheckerContext &C) const {
364 CheckerContext &C) const {
381 const ObjCMethodCall &M, CheckerContext &C) const {
392 const ReturnStmt *RS, CheckerContext &C) const {
398 const ReturnStmt *RS, CheckerContext &C) const {
487 void ObjCDeallocChecker::diagnoseMissingReleases(CheckerContext &C) const {
607 SymbolRef IvarSym, CheckerContext &C) const {
637 CheckerContext &C) const {
715 CheckerContext &C) const {
835 void ObjCDeallocChecker::transitionToReleaseValue(CheckerContext &C,
926 CheckerContext &C) const {
967 bool ObjCDeallocChecker::isInInstanceDealloc(const CheckerContext &C,
975 bool ObjCDeallocChecker::isInInstanceDealloc(const CheckerContext &C,
993 bool ObjCDeallocChecker::instanceDeallocIsOnStack(const CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp 72 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {}
82 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
91 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {}
97 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {}
106 void checkObjCMessageNil(const ObjCMethodCall &M, CheckerContext &C) const {}
118 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {}
124 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {}
127 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {}
143 CheckerContext &) const {}
155 CheckerContext &) const {}
164 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &) const {}
180 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {}
187 void checkBeginFunction(CheckerContext &Ctx) const {}
194 void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const {}
229 bool evalCall(const CallExpr *CE, CheckerContext &C) const { return true; }
330 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ChrootChecker.cpp 55 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
56 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
59 void evalChroot(const CallEvent &Call, CheckerContext &C) const;
60 void evalChdir(const CallEvent &Call, CheckerContext &C) const;
65 bool ChrootChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {
78 void ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const {
88 void ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const {
116 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ConversionChecker.cpp 42 void checkPreStmt(const ImplicitCastExpr *Cast, CheckerContext &C) const;
48 CheckerContext &C) const;
50 bool isLossOfSign(const ImplicitCastExpr *Cast, CheckerContext &C) const;
52 void reportBug(ExplodedNode *N, CheckerContext &C, const char Msg[]) const;
57 CheckerContext &C) const {
117 void ConversionChecker::reportBug(ExplodedNode *N, CheckerContext &C,
130 CheckerContext &C) const {
185 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DebugCheckers.cpp 331 void checkPreStmt(const Stmt *S, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp 57 void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const;
62 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp 36 void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C) const;
40 CheckerContext &C) const;
41 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
120 CheckerContext &C) const {
195 CheckerContext &C) const {
247 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp 28 void reportBug(const char *Msg, ProgramStateRef StateZero, CheckerContext &C,
32 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
44 const char *Msg, ProgramStateRef StateZero, CheckerContext &C,
58 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp 61 CheckerContext &C) const;
64 void checkPostStmt(const ImplicitCastExpr *CE, CheckerContext &C) const;
72 CheckerContext &C) const {
155 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 59 CheckerContext &C) const;
63 CheckerContext &C) const;
67 CheckerContext &C) const;
97 SymbolRef Sym, CheckerContext &C,
101 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
102 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
103 void checkPostStmt(const CastExpr *CastE, CheckerContext &C) const;
104 void checkPostStmt(const CXXNewExpr *NewE, CheckerContext &C) const;
105 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
106 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
107 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
115 CheckerContext &C) const {
132 CheckerContext &C) {
145 CheckerContext &C) const {
189 CheckerContext &C) const {
276 const CastExpr *CE, ProgramStateRef &State, CheckerContext &C) const {
293 CheckerContext &C) const {
308 CheckerContext &C) const {
345 CheckerContext &C) const {
521 CheckerContext &C) const {
705 CheckerContext &C) const {
815 CheckerContext &C) const {
901 ExplodedNode *N, SymbolRef Sym, CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/EnumCastOutOfRangeChecker.cpp 40 ConstraintBasedEQEvaluator(CheckerContext &C,
61 void reportWarning(CheckerContext &C) const;
64 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
79 void EnumCastOutOfRangeChecker::reportWarning(CheckerContext &C) const {
93 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 35 void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
36 void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
37 void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const;
38 void analyzerNumTimesReached(const CallExpr *CE, CheckerContext &C) const;
39 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
40 void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const;
41 void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
42 void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
43 void analyzerPrintState(const CallExpr *CE, CheckerContext &C) const;
44 void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const;
45 void analyzerHashDump(const CallExpr *CE, CheckerContext &C) const;
46 void analyzerDenote(const CallExpr *CE, CheckerContext &C) const;
47 void analyzerExpress(const CallExpr *CE, CheckerContext &C) const;
52 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C) const;
57 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
58 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
68 CheckerContext &C) const {
104 CheckerContext &C) {
136 CheckerContext &C) const {
156 CheckerContext &C) const {
168 CheckerContext &C) const {
173 CheckerContext &C) const {
182 CheckerContext &C) const {
197 CheckerContext &C) const {
209 CheckerContext &C) const {
224 CheckerContext &C) const {
243 CheckerContext &C) const {
248 CheckerContext &C) const {
262 CheckerContext &C) const {
298 CheckerContext &C) const {
303 CheckerContext &C) const {
315 CheckerContext &C) const {
391 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/FixedAddressChecker.cpp 30 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
35 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/GTestChecker.cpp 100 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
104 bool IsRef, CheckerContext &C) const;
107 CheckerContext &C) const;
118 CheckerContext &C);
131 const CXXConstructorCall *Call, bool IsRef, CheckerContext &C) const {
160 const CXXConstructorCall *Call, CheckerContext &C) const {
182 CheckerContext &C) const {
272 CheckerContext &C) {
tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp 45 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
47 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
102 bool checkPre(const CallExpr *CE, CheckerContext &C) const;
105 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const;
108 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const;
112 static bool isStdin(const Expr *E, CheckerContext &C);
115 static Optional<SVal> getPointedToSVal(CheckerContext &C, const Expr *Arg);
122 CheckerContext &C) const;
131 CheckerContext &C) const;
140 CheckerContext &C) const;
146 CheckerContext &C) const;
150 CheckerContext &C) const;
167 CheckerContext &C);
197 CheckerContext &C);
212 CheckerContext &C) {
225 ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
229 CheckerContext &C);
342 StringRef Name, CheckerContext &C) {
444 CheckerContext &C) const {
456 CheckerContext &C) const {
468 CheckerContext &C) const {
495 CheckerContext &C) const {
533 CheckerContext &C) const {
558 Optional<SVal> GenericTaintChecker::getPointedToSVal(CheckerContext &C,
585 CheckerContext &C) const {
651 CheckerContext &C) {
662 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) {
698 const CheckerContext &C,
722 CheckerContext &C) const {
749 const CallExpr *CE, CheckerContext &C) const {
762 CheckerContext &C) const {
789 CheckerContext &C) const {
825 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp 97 CheckerContext &C) const;
103 CheckerContext &C) const;
108 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
111 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
136 CheckerContext &C) const {
152 CheckerContext &C) const {
195 CheckerContext &C) const {
235 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 182 void handleComparison(CheckerContext &C, const Expr *CE, const SVal &RetVal,
185 void processComparison(CheckerContext &C, ProgramStateRef State,
188 void verifyAccess(CheckerContext &C, const SVal &Val) const;
189 void verifyDereference(CheckerContext &C, const SVal &Val) const;
190 void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
192 void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
194 void handleRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
197 void handleBegin(CheckerContext &C, const Expr *CE, const SVal &RetVal,
199 void handleEnd(CheckerContext &C, const Expr *CE, const SVal &RetVal,
201 void assignToContainer(CheckerContext &C, const Expr *CE, const SVal &RetVal,
203 void handleAssign(CheckerContext &C, const SVal &Cont,
206 void handleClear(CheckerContext &C, const SVal &Cont) const;
207 void handlePushBack(CheckerContext &C, const SVal &Cont) const;
208 void handlePopBack(CheckerContext &C, const SVal &Cont) const;
209 void handlePushFront(CheckerContext &C, const SVal &Cont) const;
210 void handlePopFront(CheckerContext &C, const SVal &Cont) const;
211 void handleInsert(CheckerContext &C, const SVal &Iter) const;
212 void handleErase(CheckerContext &C, const SVal &Iter) const;
213 void handleErase(CheckerContext &C, const SVal &Iter1,
215 void handleEraseAfter(CheckerContext &C, const SVal &Iter) const;
216 void handleEraseAfter(CheckerContext &C, const SVal &Iter1,
218 void verifyIncrement(CheckerContext &C, const SVal &Iter) const;
219 void verifyDecrement(CheckerContext &C, const SVal &Iter) const;
220 void verifyRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
222 void verifyMatch(CheckerContext &C, const SVal &Iter,
224 void verifyMatch(CheckerContext &C, const SVal &Iter1,
226 IteratorPosition advancePosition(CheckerContext &C, OverloadedOperatorKind Op,
230 CheckerContext &C, ExplodedNode *ErrNode) const;
232 const SVal &Val2, CheckerContext &C,
235 const MemRegion *Reg, CheckerContext &C,
238 CheckerContext &C, ExplodedNode *ErrNode) const;
253 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
254 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
255 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
256 void checkPostStmt(const CXXConstructExpr *CCE, CheckerContext &C) const;
257 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
259 CheckerContext &C) const;
261 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
368 CheckerContext &C) const {
559 CheckerContext &C) const {
750 CheckerContext &C) const {
766 CheckerContext &C) const {
814 CheckerContext &C) const {
851 void IteratorChecker::handleComparison(CheckerContext &C, const Expr *CE,
894 void IteratorChecker::processComparison(CheckerContext &C,
924 void IteratorChecker::verifyDereference(CheckerContext &C,
937 void IteratorChecker::verifyAccess(CheckerContext &C, const SVal &Val) const {
949 void IteratorChecker::handleIncrement(CheckerContext &C, const SVal &RetVal,
967 void IteratorChecker::handleDecrement(CheckerContext &C, const SVal &RetVal,
985 void IteratorChecker::handleRandomIncrOrDecr(CheckerContext &C,
1009 void IteratorChecker::verifyIncrement(CheckerContext &C,
1016 void IteratorChecker::verifyDecrement(CheckerContext &C,
1023 void IteratorChecker::verifyRandomIncrOrDecr(CheckerContext &C,
1064 void IteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter,
1100 void IteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter1,
1138 void IteratorChecker::handleBegin(CheckerContext &C, const Expr *CE,
1160 void IteratorChecker::handleEnd(CheckerContext &C, const Expr *CE,
1182 void IteratorChecker::assignToContainer(CheckerContext &C, const Expr *CE,
1197 void IteratorChecker::handleAssign(CheckerContext &C, const SVal &Cont,
1273 void IteratorChecker::handleClear(CheckerContext &C, const SVal &Cont) const {
1299 void IteratorChecker::handlePushBack(CheckerContext &C,
1337 void IteratorChecker::handlePopBack(CheckerContext &C, const SVal &Cont) const {
1374 void IteratorChecker::handlePushFront(CheckerContext &C,
1407 void IteratorChecker::handlePopFront(CheckerContext &C,
1441 void IteratorChecker::handleInsert(CheckerContext &C, const SVal &Iter) const {
1466 void IteratorChecker::handleErase(CheckerContext &C, const SVal &Iter) const {
1494 void IteratorChecker::handleErase(CheckerContext &C, const SVal &Iter1,
1526 void IteratorChecker::handleEraseAfter(CheckerContext &C,
1547 void IteratorChecker::handleEraseAfter(CheckerContext &C, const SVal &Iter1,
1561 IteratorPosition IteratorChecker::advancePosition(CheckerContext &C,
1591 const SVal &Val, CheckerContext &C,
1601 CheckerContext &C,
1612 CheckerContext &C,
1622 const SVal &Val, CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp 76 bool hasNonLocalizedState(SVal S, CheckerContext &C) const;
77 bool hasLocalizedState(SVal S, CheckerContext &C) const;
78 void setNonLocalizedState(SVal S, CheckerContext &C) const;
79 void setLocalizedState(SVal S, CheckerContext &C) const;
83 void reportLocalizationError(SVal S, const CallEvent &M, CheckerContext &C,
97 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
98 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
99 void checkPostStmt(const ObjCStringLiteral *SL, CheckerContext &C) const;
100 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
101 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
672 CheckerContext &C) const {
685 CheckerContext &C) const {
697 CheckerContext &C) const {
708 CheckerContext &C) const {
726 static bool isDebuggingContext(CheckerContext &C) {
749 SVal S, const CallEvent &M, CheckerContext &C, int argumentNumber) const {
800 CheckerContext &C) const {
884 CheckerContext &C) const {
924 CheckerContext &C) const {
970 CheckerContext &C) const {
995 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp 89 void checkReturnAux(const ReturnStmt *RS, CheckerContext &C) const;
92 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
100 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const {
103 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const {
117 static const ParmVarDecl *getOriginParam(SVal V, CheckerContext &C,
145 static bool isInMIGCall(CheckerContext &C) {
181 void MIGChecker::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
225 static bool mayBeSuccess(SVal V, CheckerContext &C) {
245 void MIGChecker::checkReturnAux(const ReturnStmt *RS, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp 25 CheckerContext &Ctx) const {
57 CheckerContext &Ctx) const {
101 CheckerContext &Ctx) const {
147 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h 35 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const {
41 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const {
46 void dynamicInit(CheckerContext &Ctx) const {
59 clang::ento::CheckerContext &Ctx) const;
67 clang::ento::CheckerContext &Ctx) const;
73 clang::ento::CheckerContext &Ctx) const;
87 clang::ento::CheckerContext &Ctx) const;
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 59 void checkPreStmt(const CallExpr *S, CheckerContext &C) const;
60 void checkPostStmt(const CallExpr *S, CheckerContext &C) const;
61 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
110 CheckerContext &C) const;
114 CheckerContext &C) const;
119 CheckerContext &C) const;
209 CheckerContext &C) {
227 CheckerContext &C) const {
250 CheckerContext &C) const {
403 CheckerContext &C) const {
451 CheckerContext &C) const {
474 const AllocationPair &AP, ExplodedNode *N, CheckerContext &C) const {
542 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MacOSXAPIChecker.cpp 38 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
40 void CheckDispatchOnce(CheckerContext &C, const CallExpr *CE,
64 void MacOSXAPIChecker::CheckDispatchOnce(CheckerContext &C, const CallExpr *CE,
153 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 96 getAllocationFamily(const MemFunctionInfoTy &MemFunctionInfo, CheckerContext &C,
102 static bool printAllocDeallocName(raw_ostream &os, CheckerContext &C,
109 CheckerContext &C, const Expr *E);
203 static bool isReleased(SymbolRef Sym, CheckerContext &C);
208 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E,
359 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
360 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
361 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const;
363 CheckerContext &C) const;
364 void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const;
365 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
366 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
367 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
368 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
369 void checkEndFunction(const ReturnStmt *S, CheckerContext &C) const;
373 CheckerContext &C) const;
403 void processNewAllocation(const CXXNewExpr *NE, CheckerContext &C,
414 static ProgramStateRef ProcessZeroAllocCheck(CheckerContext &C, const Expr *E,
435 ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
449 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
463 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
468 static ProgramStateRef addExtentSize(CheckerContext &C, const CXXNewExpr *NE,
474 performKernelMalloc(const CallExpr *CE, CheckerContext &C,
494 ProgramStateRef FreeMemAttr(CheckerContext &C, const CallExpr *CE,
517 ProgramStateRef FreeMemAux(CheckerContext &C, const CallExpr *CE,
541 ProgramStateRef FreeMemAux(CheckerContext &C, const Expr *ArgExpr,
559 ProgramStateRef ReallocMemAux(CheckerContext &C, const CallExpr *CE,
568 static SVal evalMulForBufferSize(CheckerContext &C, const Expr *Blocks,
576 static ProgramStateRef CallocMem(CheckerContext &C, const CallExpr *CE,
582 CheckerContext &C) const;
585 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
589 void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
593 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
617 void checkEscapeOnReturn(const ReturnStmt *S, CheckerContext &C) const;
625 Optional<CheckKind> getCheckIfTracked(CheckerContext &C,
628 Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
634 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
636 void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
638 void ReportMismatchedDealloc(CheckerContext &C, SourceRange Range,
641 void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
644 void ReportUseAfterFree(CheckerContext &C, SourceRange Range,
646 void ReportDoubleFree(CheckerContext &C, SourceRange Range, bool Released,
649 void ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
651 void ReportUseZeroAllocated(CheckerContext &C, SourceRange Range,
654 void ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal,
660 CheckerContext &C);
662 void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
967 const CallExpr *CE, CheckerContext &C, const ProgramStateRef &State) const {
1044 SVal MallocChecker::evalMulForBufferSize(CheckerContext &C, const Expr *Blocks,
1055 void MallocChecker::checkPostStmt(const CallExpr *CE, CheckerContext &C) const {
1231 CheckerContext &C, const Expr *E, const unsigned IndexOfSizeArg,
1334 CheckerContext &C,
1362 CheckerContext &C) const {
1368 CheckerContext &C) const {
1376 ProgramStateRef MallocChecker::addExtentSize(CheckerContext &C,
1419 CheckerContext &C) const {
1461 CheckerContext &C) const {
1482 MallocChecker::MallocMemReturnsAttr(CheckerContext &C, const CallExpr *CE,
1499 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C,
1510 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C,
1554 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E,
1578 ProgramStateRef MallocChecker::FreeMemAttr(CheckerContext &C,
1600 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, const CallExpr *CE,
1630 getAllocationFamily(const MemFunctionInfoTy &MemFunctionInfo, CheckerContext &C,
1679 static bool printAllocDeallocName(raw_ostream &os, CheckerContext &C,
1721 CheckerContext &C, const Expr *E) {
1747 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C,
1940 MallocChecker::getCheckIfTracked(CheckerContext &C,
1948 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
2045 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,
2092 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
2118 void MallocChecker::ReportMismatchedDealloc(CheckerContext &C,
2174 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
2232 void MallocChecker::ReportUseAfterFree(CheckerContext &C, SourceRange Range,
2270 void MallocChecker::ReportDoubleFree(CheckerContext &C, SourceRange Range,
2301 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const {
2325 void MallocChecker::ReportUseZeroAllocated(CheckerContext &C,
2356 void MallocChecker::ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal,
2392 ProgramStateRef MallocChecker::ReallocMemAux(CheckerContext &C,
2497 ProgramStateRef MallocChecker::CallocMem(CheckerContext &C, const CallExpr *CE,
2514 CheckerContext &C) {
2555 CheckerContext &C) const {
2618 CheckerContext &C) const
2679 CheckerContext &C) const {
2723 CheckerContext &C) const {
2731 CheckerContext &C) const {
2736 CheckerContext &C) const {
2767 CheckerContext &C) const {
2801 static bool isReleased(SymbolRef Sym, CheckerContext &C) {
2808 const CallExpr *CE, CheckerContext &C) const {
2836 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
2847 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
2860 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const {
2871 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MmapWriteExecChecker.cpp 37 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
48 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp 51 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
52 void checkPreCall(const CallEvent &MC, CheckerContext &C) const;
53 void checkPostCall(const CallEvent &MC, CheckerContext &C) const;
54 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
212 CheckerContext &C) const;
217 CheckerContext &C, MisuseKind MK) const;
224 CheckerContext &C) const;
334 CheckerContext &C) const {
351 CheckerContext &C) const {
391 const CXXRecordDecl *RD, CheckerContext &C,
443 CheckerContext &C) const {
602 void MoveChecker::checkPreCall(const CallEvent &Call, CheckerContext &C) const {
685 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NSAutoreleasePoolChecker.cpp 38 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
44 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp 163 CheckerContext &C) const;
181 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) {
187 static QualType parameterTypeFromSVal(SVal val, CheckerContext &C) {
203 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp 34 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
35 void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
41 CheckerContext &C) const {
88 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp 36 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
69 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp 44 CheckerContext &C) const;
69 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 96 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
97 void checkPostStmt(const ExplicitCastExpr *CE, CheckerContext &C) const;
98 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
99 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
100 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
101 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
102 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
156 CheckerContext &C,
405 CheckerContext &C) {
435 CheckerContext &C, const Stmt *ValueExpr, bool SuppressPath) const {
450 CheckerContext &C) const {
523 CheckerContext &C) const {
641 CheckerContext &C) const {
743 CheckerContext &C) const {
817 CheckerContext &C) const {
932 CheckerContext &C) const {
1011 static bool isARCNilInitializedLocal(CheckerContext &C, const Stmt *S) {
1054 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp 32 void checkPreStmt(const ObjCAtSynchronizedStmt *S, CheckerContext &C) const;
37 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp 40 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const {
47 CheckerContext &C) const;
53 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
54 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
69 CheckerContext &C) const {
87 CheckerContext &C) const {
110 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp 54 static bool isSelfVar(SVal location, CheckerContext &C);
66 void checkForInvalidSelf(const Expr *E, CheckerContext &C,
71 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const;
72 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const;
73 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
75 CheckerContext &C) const;
76 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
78 void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
79 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
113 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
118 SelfFlagEnum flag, CheckerContext &C) {
126 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) {
133 static bool isInvalidSelf(const Expr *E, CheckerContext &C) {
143 void ObjCSelfInitChecker::checkForInvalidSelf(const Expr *E, CheckerContext &C,
166 CheckerContext &C) const {
197 CheckerContext &C) const {
210 CheckerContext &C) const {
238 CheckerContext &C) const {
266 CheckerContext &C) const {
302 CheckerContext &C) const {
317 CheckerContext &C) const {
410 static bool isSelfVar(SVal location, CheckerContext &C) {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp 41 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
42 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
44 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
47 CheckerContext &C) const;
51 void diagnoseCallArguments(const CallEvent &CE, CheckerContext &C) const;
54 CheckerContext &C) const;
83 CheckerContext &C) const {
108 CheckerContext &C) const {
113 CheckerContext &C) const {
130 CheckerContext &C) const {
177 CheckerContext &C) const {
200 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp 51 AllocKind &AKind, CheckerContext &C) const;
53 CheckerContext &C) const;
54 void reportPointerArithMisuse(const Expr *E, CheckerContext &C,
63 void checkPreStmt(const UnaryOperator *UOp, CheckerContext &C) const;
64 void checkPreStmt(const BinaryOperator *BOp, CheckerContext &C) const;
65 void checkPreStmt(const ArraySubscriptExpr *SubExpr, CheckerContext &C) const;
66 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
67 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
68 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const;
69 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
70 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
77 CheckerContext &C) const {
106 CheckerContext &C) const {
120 CheckerContext &C) const {
149 CheckerContext &C,
218 CheckerContext &C) const {
241 CheckerContext &C) const {
258 CheckerContext &C) const {
276 CheckerContext &C) const {
297 CheckerContext &C) const {
304 CheckerContext &C) const {
318 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/PointerSubChecker.cpp 30 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
35 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp 81 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
82 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
86 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
89 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
90 void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock,
92 void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
93 void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const;
110 CheckerContext &C) const {
216 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
288 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
346 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE,
408 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE,
448 void PthreadLockChecker::reportUseDestroyedBug(CheckerContext &C,
463 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 147 CheckerContext &C) const {
183 CheckerContext &C) const {
229 void RetainCountChecker::processObjCLiterals(CheckerContext &C,
260 CheckerContext &C) const {
266 CheckerContext &C) const {
272 CheckerContext &C) const {
286 CheckerContext &C) const {
364 CheckerContext &C) const {
450 CheckerContext &C) const {
607 CheckerContext &C) const {
715 CheckerContext &C) const {
863 CheckerContext &C) const {
890 CheckerContext &C) const {
964 CheckerContext &C) const {
1067 CheckerContext &C,
1138 CheckerContext &C) const {
1210 CheckerContext &Ctx,
1315 CheckerContext &Ctx,
1331 void RetainCountChecker::checkBeginFunction(CheckerContext &Ctx) const {
1368 CheckerContext &Ctx) const {
1410 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.h 287 RetainSummaryManager &getSummaryManager(CheckerContext &C) const {
294 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
295 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
296 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
298 void checkPostStmt(const ObjCArrayLiteral *AL, CheckerContext &C) const;
299 void checkPostStmt(const ObjCDictionaryLiteral *DL, CheckerContext &C) const;
300 void checkPostStmt(const ObjCBoxedExpr *BE, CheckerContext &C) const;
302 void checkPostStmt(const ObjCIvarRefExpr *IRE, CheckerContext &C) const;
304 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
307 CheckerContext &C) const;
311 CheckerContext &C) const;
313 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
326 ExplodedNode* checkReturnWithRetEffect(const ReturnStmt *S, CheckerContext &C,
330 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
331 void checkBeginFunction(CheckerContext &C) const;
332 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
336 CheckerContext &C) const;
343 CheckerContext &C) const;
345 void processObjCLiterals(CheckerContext &C, const Expr *Ex) const;
353 const ProgramPointTag *Tag, CheckerContext &Ctx,
360 CheckerContext &Ctx,
375 ExplodedNode * processReturn(const ReturnStmt *S, CheckerContext &C) const;
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp 827 void RefLeakReport::deriveParamLocation(CheckerContext &Ctx, SymbolRef sym) {
846 void RefLeakReport::deriveAllocLocation(CheckerContext &Ctx,
889 void RefLeakReport::createDescription(CheckerContext &Ctx) {
907 CheckerContext &Ctx)
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.h 84 void deriveParamLocation(CheckerContext &Ctx, SymbolRef sym);
86 void deriveAllocLocation(CheckerContext &Ctx, SymbolRef sym);
88 void createDescription(CheckerContext &Ctx);
92 SymbolRef sym, CheckerContext &Ctx);
tools/clang/lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp 30 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
35 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp 30 void emitUndef(CheckerContext &C, const Expr *RetE) const;
31 void checkReference(CheckerContext &C, const Expr *RetE,
34 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
39 CheckerContext &C) const {
80 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE,
95 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const {
103 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE,
tools/clang/lib/StaticAnalyzer/Checkers/ReturnValueChecker.cpp 29 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
32 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
73 CheckerContext &C) {
85 CheckerContext &C) const {
118 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp 61 CheckerContext &C) const;
63 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
72 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
74 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
118 CheckerContext &C) const {
137 CheckerContext &C) const {
175 CheckerContext &C) const {
201 CheckerContext &C) const {
217 CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp 32 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
46 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp 47 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
48 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
49 void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const;
53 CheckerContext &C) const;
55 CheckerContext &C) const;
56 void EmitStackError(CheckerContext &C, const MemRegion *R,
63 static bool isArcManagedBlock(const MemRegion *R, CheckerContext &C);
64 static bool isNotInCurrentFrame(const MemRegion *R, CheckerContext &C);
113 CheckerContext &C) {
120 CheckerContext &C) {
151 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C,
174 const BlockDataRegion &B, CheckerContext &C) const {
212 const BlockDataRegion &B, CheckerContext &C) const {
235 CheckerContext &C) const {
249 CheckerContext &C) const {
291 CheckerContext &Ctx) const {
301 CheckerContext &Ctx;
307 CallBack(CheckerContext &CC) : Ctx(CC), CurSFC(CC.getStackFrame()) {}
tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp 226 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
227 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
232 CheckerContext &C) const;
340 CheckerContext &C) const {
371 CheckerContext &C) const {
434 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 75 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
76 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
79 void Fopen(CheckerContext &C, const CallExpr *CE) const;
80 void Tmpfile(CheckerContext &C, const CallExpr *CE) const;
81 void Fclose(CheckerContext &C, const CallExpr *CE) const;
82 void Fread(CheckerContext &C, const CallExpr *CE) const;
83 void Fwrite(CheckerContext &C, const CallExpr *CE) const;
84 void Fseek(CheckerContext &C, const CallExpr *CE) const;
85 void Ftell(CheckerContext &C, const CallExpr *CE) const;
86 void Rewind(CheckerContext &C, const CallExpr *CE) const;
87 void Fgetpos(CheckerContext &C, const CallExpr *CE) const;
88 void Fsetpos(CheckerContext &C, const CallExpr *CE) const;
89 void Clearerr(CheckerContext &C, const CallExpr *CE) const;
90 void Feof(CheckerContext &C, const CallExpr *CE) const;
91 void Ferror(CheckerContext &C, const CallExpr *CE) const;
92 void Fileno(CheckerContext &C, const CallExpr *CE) const;
94 void OpenFileAux(CheckerContext &C, const CallExpr *CE) const;
97 CheckerContext &C) const;
99 CheckerContext &C) const;
107 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {
206 void StreamChecker::Fopen(CheckerContext &C, const CallExpr *CE) const {
210 void StreamChecker::Tmpfile(CheckerContext &C, const CallExpr *CE) const {
214 void StreamChecker::OpenFileAux(CheckerContext &C, const CallExpr *CE) const {
241 void StreamChecker::Fclose(CheckerContext &C, const CallExpr *CE) const {
247 void StreamChecker::Fread(CheckerContext &C, const CallExpr *CE) const {
253 void StreamChecker::Fwrite(CheckerContext &C, const CallExpr *CE) const {
259 void StreamChecker::Fseek(CheckerContext &C, const CallExpr *CE) const {
285 void StreamChecker::Ftell(CheckerContext &C, const CallExpr *CE) const {
291 void StreamChecker::Rewind(CheckerContext &C, const CallExpr *CE) const {
297 void StreamChecker::Fgetpos(CheckerContext &C, const CallExpr *CE) const {
303 void StreamChecker::Fsetpos(CheckerContext &C, const CallExpr *CE) const {
309 void StreamChecker::Clearerr(CheckerContext &C, const CallExpr *CE) const {
315 void StreamChecker::Feof(CheckerContext &C, const CallExpr *CE) const {
321 void StreamChecker::Ferror(CheckerContext &C, const CallExpr *CE) const {
327 void StreamChecker::Fileno(CheckerContext &C, const CallExpr *CE) const {
334 CheckerContext &C) const {
358 CheckerContext &C) const {
389 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp 32 SymbolRef getPointedToSymbol(CheckerContext &C,
37 void checkPostStmt(const Expr *E, CheckerContext &C) const;
47 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp 81 void reportBug(SVal Val, CheckerContext &C) const;
84 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
85 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
86 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
87 void setDivZeroMap(SVal Var, CheckerContext &C) const;
88 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
89 bool isZero(SVal S, CheckerContext &C) const;
134 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {
144 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {
156 const CheckerContext &C) const {
165 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {
182 CheckerContext &C) const {
201 CheckerContext &C) const {
213 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/TraversalChecker.cpp 30 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
31 void checkBeginFunction(CheckerContext &C) const;
32 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
37 CheckerContext &C) const {
54 void TraversalDumper::checkBeginFunction(CheckerContext &C) const {
59 CheckerContext &C) const {
77 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
78 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
82 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const {
95 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp 81 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {
96 CheckerContext &C) const {
133 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const {
157 bool isNonNullPtr(const CallEvent &Call, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp 54 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const;
60 CheckerContext &Ctx) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp 32 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
52 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp 33 void checkPostStmt(const BinaryOperator *B, CheckerContext &C) const;
37 static bool isArrayIndexOutOfBounds(CheckerContext &C, const Expr *Ex) {
60 static bool isShiftOverflow(const BinaryOperator *B, CheckerContext &C) {
66 CheckerContext &C) {
76 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp 30 void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const;
36 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefinedAssignmentChecker.cpp 30 CheckerContext &C) const;
36 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp 50 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
51 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
112 CheckerContext &Context);
118 CheckerContext &Context);
139 const ReturnStmt *RS, CheckerContext &Context) const {
217 CheckerContext &C) const {
459 CheckerContext &Context) {
474 CheckerContext &Context) {
tools/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp 47 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
49 void CheckOpen(CheckerContext &C, const CallExpr *CE) const;
50 void CheckOpenAt(CheckerContext &C, const CallExpr *CE) const;
51 void CheckPthreadOnce(CheckerContext &C, const CallExpr *CE) const;
53 void CheckOpenVariant(CheckerContext &C,
56 void ReportOpenBug(CheckerContext &C,
65 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
70 void CheckCallocZero(CheckerContext &C, const CallExpr *CE) const;
71 void CheckMallocZero(CheckerContext &C, const CallExpr *CE) const;
72 void CheckReallocZero(CheckerContext &C, const CallExpr *CE) const;
73 void CheckReallocfZero(CheckerContext &C, const CallExpr *CE) const;
74 void CheckAllocaZero(CheckerContext &C, const CallExpr *CE) const;
75 void CheckAllocaWithAlignZero(CheckerContext &C, const CallExpr *CE) const;
76 void CheckVallocZero(CheckerContext &C, const CallExpr *CE) const;
78 bool ReportZeroByteAllocation(CheckerContext &C,
82 void BasicAllocationCheck(CheckerContext &C,
104 CheckerContext &C) const {
128 void UnixAPIMisuseChecker::ReportOpenBug(CheckerContext &C,
143 void UnixAPIMisuseChecker::CheckOpen(CheckerContext &C,
148 void UnixAPIMisuseChecker::CheckOpenAt(CheckerContext &C,
153 void UnixAPIMisuseChecker::CheckOpenVariant(CheckerContext &C,
273 void UnixAPIMisuseChecker::CheckPthreadOnce(CheckerContext &C,
337 CheckerContext &C,
363 void UnixAPIPortabilityChecker::BasicAllocationCheck(CheckerContext &C,
392 void UnixAPIPortabilityChecker::CheckCallocZero(CheckerContext &C,
428 void UnixAPIPortabilityChecker::CheckMallocZero(CheckerContext &C,
433 void UnixAPIPortabilityChecker::CheckReallocZero(CheckerContext &C,
438 void UnixAPIPortabilityChecker::CheckReallocfZero(CheckerContext &C,
443 void UnixAPIPortabilityChecker::CheckAllocaZero(CheckerContext &C,
449 CheckerContext &C,
454 void UnixAPIPortabilityChecker::CheckVallocZero(CheckerContext &C,
460 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp 37 CheckerContext &C,
41 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
47 CheckerContext &C, std::unique_ptr<BugReporterVisitor> Visitor) const {
82 void VLASizeChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp 51 void checkPreStmt(const VAArgExpr *VAA, CheckerContext &C) const;
52 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
53 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
57 bool &IsSymbolic, CheckerContext &C) const;
62 CheckerContext &C) const;
64 StringRef Msg2, CheckerContext &C, ExplodedNode *N,
67 void checkVAListStartCall(const CallEvent &Call, CheckerContext &C,
69 void checkVAListEndCall(const CallEvent &Call, CheckerContext &C) const;
126 CheckerContext &C) const {
165 CheckerContext &C) const {
187 CheckerContext &C) const {
204 CheckerContext &C) const {
250 CheckerContext &C) const {
267 CheckerContext &C, ExplodedNode *N,
309 CheckerContext &C, bool IsCopy) const {
356 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp 52 bool isVforkCall(const Decl *D, CheckerContext &C) const;
53 bool isCallWhitelisted(const IdentifierInfo *II, CheckerContext &C) const;
55 void reportBug(const char *What, CheckerContext &C,
61 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
62 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
63 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
64 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
82 bool VforkChecker::isVforkCall(const Decl *D, CheckerContext &C) const {
97 CheckerContext &C) const {
120 void VforkChecker::reportBug(const char *What, CheckerContext &C,
143 CheckerContext &C) const {
183 CheckerContext &C) const {
192 CheckerContext &C) const {
209 void VforkChecker::checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp 48 void checkBeginFunction(CheckerContext &C) const;
49 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
50 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
54 CheckerContext &C) const;
87 void VirtualCallChecker::checkBeginFunction(CheckerContext &C) const {
93 CheckerContext &C) const {
98 CheckerContext &C) const {
165 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp 166 return CheckerContext::isCLibraryFunction(FD, FunctionName);
370 return CheckerContext::isCLibraryFunction(FD, CD.getFunctionName()) &&
tools/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp 176 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
231 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
289 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
341 CheckerContext C(Bldr, Eng, Pred, L);
384 CheckerContext C(Bldr, Eng, Pred, L);
428 CheckerContext C(Bldr, Eng, Pred, L);
461 CheckerContext C(Bldr, Eng, Pred, L);
486 CheckerContext C(Bldr, Eng, Pred, L);
526 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
572 CheckerContext C(Bldr, Eng, Pred, L);
673 CheckerContext C(B, Eng, Pred, L);
usr/include/c++/7.4.0/bits/move.h 72 constexpr _Tp&&
83 constexpr _Tp&&
usr/include/c++/7.4.0/bits/std_function.h 371 _M_invoke(const _Any_data& __functor, _ArgTypes&&... __args)
628 using _Invoker_type = _Res (*)(const _Any_data&, _ArgTypes&&...);
usr/include/c++/7.4.0/bits/unique_ptr.h 824 make_unique(_Args&&... __args)
usr/include/c++/7.4.0/type_traits 1633 { typedef _Tp type; };
1659 { typedef _Tp&& type; };