Home
last modified time | relevance | path

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

12345

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp38 void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
42 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
44 void analyzerValue(const CallExpr *CE, CheckerContext &C) const;
46 void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
47 void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
53 void analyzerDenote(const CallExpr *CE, CheckerContext &C) const;
54 void analyzerExpress(const CallExpr *CE, CheckerContext &C) const;
61 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C,
71 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
82 CheckerContext &C) const { in REGISTER_SET_WITH_PROGRAMSTATE()
[all …]
H A DCheckerDocumentation.cpp72 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {} in checkPreStmt()
82 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
91 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPreObjCMessage()
118 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
124 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
143 CheckerContext &) const {} in checkNewAllocator()
155 CheckerContext &) const {} in checkLocation()
180 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {} in checkDeadSymbols()
187 void checkBeginFunction(CheckerContext &Ctx) const {} in checkBeginFunction()
194 void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const {} in checkEndFunction()
[all …]
H A DUnixAPIChecker.cpp49 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
51 void CheckOpen(CheckerContext &C, const CallExpr *CE) const;
52 void CheckOpenAt(CheckerContext &C, const CallExpr *CE) const;
55 void CheckOpenVariant(CheckerContext &C,
58 void ReportOpenBug(CheckerContext &C,
82 bool ReportZeroByteAllocation(CheckerContext &C,
86 void BasicAllocationCheck(CheckerContext &C,
124 void UnixAPIMisuseChecker::ReportOpenBug(CheckerContext &C, in ReportOpenBug()
137 void UnixAPIMisuseChecker::CheckOpen(CheckerContext &C, in CheckOpen()
142 void UnixAPIMisuseChecker::CheckOpenAt(CheckerContext &C, in CheckOpenAt()
[all …]
H A DAnalysisOrderChecker.cpp61 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()
125 bool evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
138 void checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
148 void checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
[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;
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()
112 void InvalidatedIteratorChecker::verifyAccess(CheckerContext &C, in verifyAccess()
[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;
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,
54 void checkPreStmt(const MemberExpr *ME, CheckerContext &C) const;
74 CheckerContext &C) const { in checkPreCall()
190 void IteratorRangeChecker::verifyDereference(CheckerContext &C, in verifyDereference()
[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 DPointerArithChecker.cpp54 CheckerContext &C) const;
55 void reportPointerArithMisuse(const Expr *E, CheckerContext &C,
67 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
68 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
69 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const;
70 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
71 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
106 CheckerContext &C) const { in getPointedRegion()
270 CheckerContext &C) const { in checkPreStmt()
291 CheckerContext &C) const { in checkPreStmt()
[all …]
H A DObjCSelfInitChecker.cpp54 static bool isSelfVar(SVal location, CheckerContext &C);
67 void checkForInvalidSelf(const Expr *E, CheckerContext &C,
73 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
75 CheckerContext &C) const;
78 void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
113 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) { in getSelfFlags()
118 SelfFlagEnum flag, CheckerContext &C) { in addSelfFlag()
134 static bool isInvalidSelf(const Expr *E, CheckerContext &C) { in isInvalidSelf()
208 CheckerContext &C) const { in checkPreStmt()
316 CheckerContext &C) const { in checkBind()
[all …]
H A DCastValueChecker.cpp79 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;
93 CheckerContext &C) const;
105 static const NoteTag *getNoteTag(CheckerContext &C, in getNoteTag()
139 static const NoteTag *getNoteTag(CheckerContext &C, in getNoteTag()
[all …]
H A DCheckPlacementNew.cpp25 void checkPreStmt(const CXXNewExpr *NE, CheckerContext &C) const;
29 CheckerContext &C) const;
32 CheckerContext &C) const;
42 void emitBadAlignReport(const Expr *P, CheckerContext &C,
50 void checkFieldRegionAlign(const FieldRegion *R, CheckerContext &C,
103 const CXXNewExpr *NE, CheckerContext &C) const { in checkPlaceCapacityIsSufficient()
167 unsigned PlacementNewChecker::getStorageAlign(CheckerContext &C, in getStorageAlign()
177 const ElementRegion *R, CheckerContext &C, const Expr *P, in checkElementRegionAlign()
236 const FieldRegion *R, CheckerContext &C, const Expr *P, in checkFieldRegionAlign()
261 const VarRegion *R, CheckerContext &C, const Expr *P, in isVarRegionAlignedProperly()
[all …]
H A DVforkChecker.cpp53 bool isVforkCall(const Decl *D, CheckerContext &C) const;
55 CheckerContext &C) const;
57 void reportBug(const char *What, CheckerContext &C,
63 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
64 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
66 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
99 CheckerContext &C) const { in isCallExplicitelyAllowed()
123 void VforkChecker::reportBug(const char *What, CheckerContext &C, in reportBug()
142 CheckerContext &C) const { in checkPostCall()
183 CheckerContext &C) const { in checkPreCall()
[all …]
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 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 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);
48 static void evalSetErrnoIfErrorRange(CheckerContext &C,
71 using EvalFn = std::function<void(CheckerContext &, const CallEvent &)>;
85 void ErrnoTesterChecker::evalSetErrno(CheckerContext &C, in evalSetErrno()
91 void ErrnoTesterChecker::evalGetErrno(CheckerContext &C, in evalGetErrno()
103 void ErrnoTesterChecker::evalSetErrnoIfError(CheckerContext &C, in evalSetErrnoIfError()
120 void ErrnoTesterChecker::evalSetErrnoIfErrorRange(CheckerContext &C, in evalSetErrnoIfErrorRange()
142 void ErrnoTesterChecker::evalSetErrnoCheckState(CheckerContext &C, in evalSetErrnoCheckState()
[all …]
H A DPthreadLockChecker.cpp86 CheckerContext &C,
176 void InitAnyLock(const CallEvent &Call, CheckerContext &C,
178 void InitLockAux(const CallEvent &Call, CheckerContext &C,
189 void TryXNULock(const CallEvent &Call, CheckerContext &C,
193 void TryC11Lock(const CallEvent &Call, CheckerContext &C,
364 CheckerContext &C, in AcquireXNULock()
371 CheckerContext &C, in TryPthreadLock()
384 CheckerContext &C, in TryFuchsiaLock()
470 CheckerContext &C, in ReleaseAnyLock()
529 CheckerContext &C, in DestroyXNULock()
[all …]
H A DIteratorModeling.cpp111 void handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,
155 CheckerContext &C) const;
172 CheckerContext &C) const { in checkPostCall()
235 CheckerContext &C) const { in checkBind()
251 CheckerContext &C) const { in checkPostStmt()
263 CheckerContext &C) const { in checkPostStmt()
292 CheckerContext &C) const { in checkPostStmt()
348 IteratorModeling::handleOverloadedOperator(CheckerContext &C, in handleOverloadedOperator()
422 IteratorModeling::handleAdvanceLikeFunction(CheckerContext &C, in handleAdvanceLikeFunction()
503 void IteratorModeling::processComparison(CheckerContext &C, in processComparison()
[all …]
H A DCStringChecker.cpp226 static assumeZero(CheckerContext &C,
237 SVal getCStringLength(CheckerContext &C,
299 void emitOverlapBug(CheckerContext &C,
1652 void CStringChecker::evalStrcpy(CheckerContext &C, in evalStrcpy()
1661 void CStringChecker::evalStrncpy(CheckerContext &C, in evalStrncpy()
1670 void CStringChecker::evalStpcpy(CheckerContext &C, in evalStpcpy()
1689 void CStringChecker::evalStrcat(CheckerContext &C, in evalStrcat()
2118 void CStringChecker::evalStrcmp(CheckerContext &C, in evalStrcmp()
2272 void CStringChecker::evalStrsep(CheckerContext &C, in evalStrsep()
2374 void CStringChecker::evalMemset(CheckerContext &C, in evalMemset()
[all …]
H A DStreamChecker.cpp332 CheckerContext &C) const;
335 CheckerContext &C) const;
340 CheckerContext &C) const;
358 CheckerContext &C) const;
361 CheckerContext &C) const;
367 CheckerContext &C) const;
369 CheckerContext &C) const;
378 CheckerContext &C) const;
381 CheckerContext &C) const;
390 CheckerContext &C,
[all …]
H A DChrootChecker.cpp56 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
57 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
60 void evalChroot(const CallEvent &Call, CheckerContext &C) const;
61 void evalChdir(const CallEvent &Call, CheckerContext &C) const;
66 bool ChrootChecker::evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
79 void ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const { in evalChroot()
89 void ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const { in evalChdir()
117 CheckerContext &C) const { in checkPreCall()
H A DTestAfterDivZeroChecker.cpp82 void reportBug(SVal Val, CheckerContext &C) const;
85 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
86 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
87 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
88 void setDivZeroMap(SVal Var, CheckerContext &C) const;
89 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
90 bool isZero(SVal S, CheckerContext &C) const;
135 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { in isZero()
157 const CheckerContext &C) const { in hasDivZeroMap()
181 CheckerContext &C) const { in checkEndFunction()
[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 DBasicObjCFoundationChecks.cpp134 CheckerContext &C) const { in warnIfNilExpr()
160 void NilArgChecker::warnIfNilArg(CheckerContext &C, in warnIfNilArg()
221 CheckerContext &C) const { in generateBugReport()
331 CheckerContext &C) const { in checkPostStmt()
339 CheckerContext &C) const { in checkPostStmt()
359 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
825 CheckerContext &C) const;
864 static ProgramStateRef checkCollectionNonNil(CheckerContext &C, in checkCollectionNonNil()
890 static ProgramStateRef checkElementNonNil(CheckerContext &C, in checkElementNonNil()
986 CheckerContext &C) const { in checkPostStmt()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h286 RetainSummaryManager &getSummaryManager(CheckerContext &C) const { in getSummaryManager()
294 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
295 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
306 CheckerContext &C) const;
310 CheckerContext &C) const;
312 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
330 void checkBeginFunction(CheckerContext &C) const;
335 CheckerContext &C) const;
342 CheckerContext &C) const;
344 void processObjCLiterals(CheckerContext &C, const Expr *Ex) const;
[all …]
/freebsd-14.2/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;

12345