Home
last modified time | relevance | path

Searched refs:CheckerContext (Results 1 – 25 of 76) sorted by relevance

1234

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCheckerDocumentation.cpp78 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {} in checkPreStmt()
88 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
97 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPreObjCMessage()
103 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPostObjCMessage()
112 void checkObjCMessageNil(const ObjCMethodCall &M, CheckerContext &C) const {} in checkObjCMessageNil()
124 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
130 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
133 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {} in checkBranchCondition()
146 void checkNewAllocator(const CXXAllocatorCall &, CheckerContext &) const {} in checkNewAllocator()
158 CheckerContext &) const {} in checkLocation()
[all …]
H A DUnixAPIChecker.cpp56 EnsurePtrNotNull(SVal PtrVal, const Expr *PtrExpr, CheckerContext &C,
63 const Expr *SizePtrExpr, CheckerContext &C, ProgramStateRef State) const;
69 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
71 void CheckOpen(CheckerContext &C, const CallEvent &Call) const;
72 void CheckOpenAt(CheckerContext &C, const CallEvent &Call) const;
73 void CheckGetDelim(CheckerContext &C, const CallEvent &Call) const;
74 void CheckPthreadOnce(CheckerContext &C, const CallEvent &Call) const;
76 void CheckOpenVariant(CheckerContext &C, const CallEvent &Call,
79 void ReportOpenBug(CheckerContext &C, ProgramStateRef State, const char *Msg,
85 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
[all …]
H A DAnalysisOrderChecker.cpp49 bool isCallbackEnabled(CheckerContext &C, StringRef CallbackName) const { in isCallbackEnabled()
61 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const { in checkPreStmt()
67 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const { in checkPostStmt()
74 CheckerContext &C) const { in checkPreStmt()
80 CheckerContext &C) const { in checkPostStmt()
85 void checkPreStmt(const CXXNewExpr *NE, CheckerContext &C) const { in checkPreStmt()
90 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const { in checkPostStmt()
95 void checkPreStmt(const CXXDeleteExpr *NE, CheckerContext &C) const { in checkPreStmt()
100 void checkPostStmt(const CXXDeleteExpr *NE, CheckerContext &C) const { in checkPostStmt()
105 void checkPreStmt(const CXXConstructExpr *NE, CheckerContext &C) const { in checkPreStmt()
[all …]
H A DInvalidatedIteratorChecker.cpp37 void verifyAccess(CheckerContext &C, SVal Val) const;
38 void reportBug(StringRef Message, SVal Val, CheckerContext &C,
42 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
43 void checkPreStmt(const UnaryOperator *UO, CheckerContext &C) const;
44 void checkPreStmt(const BinaryOperator *BO, CheckerContext &C) const;
45 void checkPreStmt(const ArraySubscriptExpr *ASE, CheckerContext &C) const;
46 void checkPreStmt(const MemberExpr *ME, CheckerContext &C) const;
53 CheckerContext &C) const { in checkPreCall()
71 CheckerContext &C) const { in checkPreStmt()
85 CheckerContext &C) const { in checkPreStmt()
[all …]
H A DIteratorRangeChecker.cpp38 void verifyDereference(CheckerContext &C, SVal Val) const;
39 void verifyIncrement(CheckerContext &C, SVal Iter) const;
40 void verifyDecrement(CheckerContext &C, SVal Iter) const;
41 void verifyRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
43 void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
44 void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
45 void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;
46 void reportBug(StringRef Message, SVal Val, CheckerContext &C,
50 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
51 void checkPreStmt(const UnaryOperator *UO, CheckerContext &C) const;
[all …]
H A DDebugIteratorModeling.cpp35 void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,
37 void analyzerIteratorPosition(const CallExpr *CE, CheckerContext &C) const;
38 void analyzerIteratorContainer(const CallExpr *CE, CheckerContext &C) const;
39 void analyzerIteratorValidity(const CallExpr *CE, CheckerContext &C) const;
40 ExplodedNode *reportDebugMsg(llvm::StringRef Msg, CheckerContext &C) const;
43 CheckerContext &) const;
55 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
61 CheckerContext &C) const { in evalCall()
76 CheckerContext &C, in analyzerIteratorDataField()
96 CheckerContext &C) const { in analyzerIteratorPosition()
[all …]
H A DCastValueChecker.cpp39 DefinedOrUnknownSVal, CheckerContext &)>;
54 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
55 void checkDeadSymbols(SymbolReaper &SR, 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;
[all …]
H A DCheckPlacementNew.cpp25 void checkPreStmt(const CXXNewExpr *NE, CheckerContext &C) const;
29 CheckerContext &C) const;
32 CheckerContext &C) const;
36 SVal getExtentSizeOfNewTarget(const CXXNewExpr *NE, CheckerContext &C,
40 SVal getExtentSizeOfPlace(const CXXNewExpr *NE, CheckerContext &C) const;
42 void emitBadAlignReport(const Expr *P, CheckerContext &C,
45 unsigned getStorageAlign(CheckerContext &C, const ValueDecl *VD) const;
47 void checkElementRegionAlign(const ElementRegion *R, CheckerContext &C,
50 void checkFieldRegionAlign(const FieldRegion *R, CheckerContext &C,
53 bool isVarRegionAlignedProperly(const VarRegion *R, CheckerContext &C,
[all …]
H A DTraversalChecker.cpp30 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 { in checkBranchCondition()
54 void TraversalDumper::checkBeginFunction(CheckerContext &C) const { in checkBeginFunction()
59 CheckerContext &C) const { in checkEndFunction()
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 { in checkPreCall()
95 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
H A DDebugContainerModeling.cpp35 void analyzerContainerDataField(const CallExpr *CE, CheckerContext &C,
37 void analyzerContainerBegin(const CallExpr *CE, CheckerContext &C) const;
38 void analyzerContainerEnd(const CallExpr *CE, CheckerContext &C) const;
39 ExplodedNode *reportDebugMsg(llvm::StringRef Msg, CheckerContext &C) const;
42 CheckerContext &) const;
52 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
58 CheckerContext &C) const { in evalCall()
73 CheckerContext &C, in analyzerContainerDataField()
113 CheckerContext &C) const { in analyzerContainerBegin()
120 CheckerContext &C) const { in analyzerContainerEnd()
[all …]
H A DErrnoTesterChecker.cpp30 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
35 static void evalSetErrno(CheckerContext &C, const CallEvent &Call);
38 static void evalGetErrno(CheckerContext &C, const CallEvent &Call);
44 static void evalSetErrnoIfError(CheckerContext &C, const CallEvent &Call);
48 static void evalSetErrnoIfErrorRange(CheckerContext &C,
69 static void evalSetErrnoCheckState(CheckerContext &C, const CallEvent &Call);
71 using EvalFn = std::function<void(CheckerContext &, const CallEvent &)>;
87 void ErrnoTesterChecker::evalSetErrno(CheckerContext &C, in evalSetErrno()
93 void ErrnoTesterChecker::evalGetErrno(CheckerContext &C, in evalGetErrno()
105 void ErrnoTesterChecker::evalSetErrnoIfError(CheckerContext &C, in evalSetErrnoIfError()
[all …]
H A DPthreadLockChecker.cpp86 CheckerContext &C,
204 void reportBug(CheckerContext &C, std::unique_ptr<BugType> BT[],
209 void InitAnyLock(const CallEvent &Call, CheckerContext &C,
211 void InitLockAux(const CallEvent &Call, CheckerContext &C,
216 void AcquirePthreadLock(const CallEvent &Call, CheckerContext &C,
218 void AcquireXNULock(const CallEvent &Call, CheckerContext &C,
220 void TryPthreadLock(const CallEvent &Call, CheckerContext &C,
222 void TryXNULock(const CallEvent &Call, CheckerContext &C,
224 void TryFuchsiaLock(const CallEvent &Call, CheckerContext &C,
226 void TryC11Lock(const CallEvent &Call, CheckerContext &C,
[all …]
H A DCStringChecker.cpp114 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
115 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
117 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
127 using FnCheck = std::function<void(const CStringChecker *, CheckerContext &,
199 FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const;
200 void evalMemcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
201 void evalMempcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
202 void evalMemmove(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
203 void evalBcopy(CheckerContext &C, const CallEvent &Call) const;
204 void evalCopyCommon(CheckerContext &C, const CallEvent &Call,
[all …]
H A DIteratorModeling.cpp93 using AdvanceFn = void (IteratorModeling::*)(CheckerContext &, const Expr *,
96 void handleOverloadedOperator(CheckerContext &C, const CallEvent &Call,
98 void handleAdvanceLikeFunction(CheckerContext &C, const CallEvent &Call,
102 void handleComparison(CheckerContext &C, const Expr *CE, SVal RetVal,
104 void processComparison(CheckerContext &C, ProgramStateRef State,
107 void handleIncrement(CheckerContext &C, SVal RetVal, SVal Iter,
109 void handleDecrement(CheckerContext &C, SVal RetVal, SVal Iter,
111 void handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,
114 void handlePtrIncrOrDecr(CheckerContext &C, const Expr *Iterator,
116 void handleAdvance(CheckerContext &C, const Expr *CE, SVal RetVal, SVal Iter,
[all …]
H A DStreamChecker.cpp196 const CallEvent &, CheckerContext &)>;
227 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal()
236 ProgramStateRef bindAndAssumeTrue(ProgramStateRef State, CheckerContext &C, in bindAndAssumeTrue()
246 CheckerContext &C, const CallExpr *CE) { in bindInt()
271 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
272 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
273 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
284 const NoteTag *constructSetEofNoteTag(CheckerContext &C, in constructSetEofNoteTag()
297 const NoteTag *constructSetErrorNoteTag(CheckerContext &C, in constructSetErrorNoteTag()
310 const NoteTag *constructSetEofOrErrorNoteTag(CheckerContext &C, in constructSetEofOrErrorNoteTag()
[all …]
H A DChrootChecker.cpp57 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
58 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
61 void evalChroot(const CallEvent &Call, CheckerContext &C) const;
62 void evalChdir(const CallEvent &Call, CheckerContext &C) const;
67 bool ChrootChecker::evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
80 void ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const { in evalChroot()
90 void ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const { in evalChdir()
118 CheckerContext &C) const { in checkPreCall()
H A DBasicObjCFoundationChecks.cpp117 void warnIfNilExpr(const Expr *E, const char *Msg, CheckerContext &C) const;
119 void warnIfNilArg(CheckerContext &C, const ObjCMethodCall &msg, unsigned Arg,
123 const Expr *Expr, CheckerContext &C) const;
126 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
127 void checkPostStmt(const ObjCDictionaryLiteral *DL, CheckerContext &C) const;
128 void checkPostStmt(const ObjCArrayLiteral *AL, CheckerContext &C) const;
134 CheckerContext &C) const { in warnIfNilExpr()
160 void NilArgChecker::warnIfNilArg(CheckerContext &C, in warnIfNilArg()
221 CheckerContext &C) const { in generateBugReport()
232 CheckerContext &C) const { in checkPreObjCMessage()
[all …]
H A DObjCSuperDeallocChecker.cpp42 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
43 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
45 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
48 CheckerContext &C) const;
52 void diagnoseCallArguments(const CallEvent &CE, CheckerContext &C) const;
55 CheckerContext &C) const;
84 CheckerContext &C) const { in checkPreObjCMessage()
109 CheckerContext &C) const { in checkPreCall()
114 CheckerContext &C) const { in checkPostObjCMessage()
132 CheckerContext &C) const { in checkLocation()
[all …]
H A DCheckObjCDealloc.cpp121 void checkBeginFunction(CheckerContext &Ctx) const;
122 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
123 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
124 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
133 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
134 void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const;
137 void diagnoseMissingReleases(CheckerContext &C) const;
140 CheckerContext &C) const;
144 CheckerContext &C) const;
147 CheckerContext &C) const;
[all …]
H A DSimpleStreamChecker.cpp65 CheckerContext &C) const;
67 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
74 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
76 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
78 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
94 CheckerContext &C) const { in REGISTER_MAP_WITH_PROGRAMSTATE()
110 CheckerContext &C) const { in checkPreCall()
145 CheckerContext &C) const { in checkDeadSymbols()
169 CheckerContext &C) const { in reportDoubleClose()
185 CheckerContext &C, in reportLeaks()
H A DSetgidSetuidOrderChecker.cpp46 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
52 CheckerContext &C) const;
54 CheckerContext &C) const;
56 CheckerContext &C) const;
61 void emitReport(ProgramStateRef State, CheckerContext &C) const;
79 CheckerContext &C) const { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
122 CheckerContext &C) const { in processSetuid()
144 CheckerContext &C) const { in processSetgid()
163 CheckerContext &C) const { in processOther()
178 CheckerContext &C) const { in emitReport()
H A DMallocChecker.cpp121 static bool printMemFnName(raw_ostream &os, CheckerContext &C, const Expr *E);
219 static bool isReleased(SymbolRef Sym, CheckerContext &C);
225 MallocUpdateRefState(CheckerContext &C, const Expr *E, ProgramStateRef State,
334 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
335 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
336 void checkNewAllocator(const CXXAllocatorCall &Call, CheckerContext &C) const;
337 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
338 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
339 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
340 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
[all …]
H A DBlockInCriticalSectionChecker.cpp184 void reportBlockInCritSection(const CallEvent &call, CheckerContext &C) const;
187 CheckerContext &C) const;
190 checkDescriptorMatch(const CallEvent &Call, CheckerContext &C,
194 CheckerContext &C) const;
197 CheckerContext &C) const;
200 CheckerContext &C) const;
206 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
229 CheckerContext &C, in checkDescriptorMatch()
256 CheckerContext &C) const { in handleLock()
270 CheckerContext &C) const { in handleUnlock()
[all …]
H A DContainerModeling.cpp36 void handleBegin(CheckerContext &C, const Expr *CE, SVal RetVal,
38 void handleEnd(CheckerContext &C, const Expr *CE, SVal RetVal,
40 void handleAssignment(CheckerContext &C, SVal Cont, const Expr *CE = nullptr,
42 void handleAssign(CheckerContext &C, SVal Cont, const Expr *ContE) const;
43 void handleClear(CheckerContext &C, SVal Cont, const Expr *ContE) const;
44 void handlePushBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
45 void handlePopBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
46 void handlePushFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
47 void handlePopFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
48 void handleInsert(CheckerContext &C, SVal Cont, SVal Iter) const;
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.h35 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { in checkPreCall()
41 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { in checkDeadSymbols()
46 void dynamicInit(CheckerContext &Ctx) const { in dynamicInit()
59 clang::ento::CheckerContext &Ctx) const;
67 clang::ento::CheckerContext &Ctx) const;
73 clang::ento::CheckerContext &Ctx) const;
87 clang::ento::CheckerContext &Ctx) const;

1234