Home
last modified time | relevance | path

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

1234

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
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 DExprInspectionChecker.cpp37 void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
41 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
43 void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
44 void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
50 void analyzerDenote(const CallExpr *CE, CheckerContext &C) const;
51 void analyzerExpress(const CallExpr *CE, CheckerContext &C) const;
58 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C,
67 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
78 CheckerContext &C) const { in REGISTER_SET_WITH_PROGRAMSTATE()
126 CheckerContext &C) { in getArgumentValueString()
[all …]
H A DUnixAPIChecker.cpp48 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
50 void CheckOpen(CheckerContext &C, const CallExpr *CE) const;
51 void CheckOpenAt(CheckerContext &C, const CallExpr *CE) const;
54 void CheckOpenVariant(CheckerContext &C,
57 void ReportOpenBug(CheckerContext &C,
79 bool ReportZeroByteAllocation(CheckerContext &C,
83 void BasicAllocationCheck(CheckerContext &C,
129 void UnixAPIMisuseChecker::ReportOpenBug(CheckerContext &C, in ReportOpenBug()
144 void UnixAPIMisuseChecker::CheckOpen(CheckerContext &C, in CheckOpen()
149 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.cpp36 void verifyAccess(CheckerContext &C, const SVal &Val) const;
38 CheckerContext &C, ExplodedNode *ErrNode) const;
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;
58 CheckerContext &C) const { in checkPreCall()
76 CheckerContext &C) const { in checkPreStmt()
90 CheckerContext &C) const { in checkPreStmt()
101 CheckerContext &C) const { in checkPreStmt()
[all …]
H A DIteratorRangeChecker.cpp37 void verifyDereference(CheckerContext &C, SVal Val) const;
38 void verifyIncrement(CheckerContext &C, SVal Iter) const;
39 void verifyDecrement(CheckerContext &C, SVal Iter) const;
42 void verifyAdvance(CheckerContext &C, SVal LHS, SVal RHS) const;
43 void verifyPrev(CheckerContext &C, SVal LHS, SVal RHS) const;
44 void verifyNext(CheckerContext &C, SVal LHS, SVal RHS) const;
51 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
55 void checkPreStmt(const MemberExpr *ME, CheckerContext &C) const;
80 CheckerContext &C) const { in checkPreCall()
196 void IteratorRangeChecker::verifyDereference(CheckerContext &C, in verifyDereference()
[all …]
H A DDebugIteratorModeling.cpp33 void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,
35 void analyzerIteratorPosition(const CallExpr *CE, CheckerContext &C) const;
36 void analyzerIteratorContainer(const CallExpr *CE, CheckerContext &C) const;
37 void analyzerIteratorValidity(const CallExpr *CE, CheckerContext &C) const;
38 ExplodedNode *reportDebugMsg(llvm::StringRef Msg, CheckerContext &C) const;
41 CheckerContext &) const;
55 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
67 CheckerContext &C) const { in evalCall()
82 CheckerContext &C, in analyzerIteratorDataField()
102 CheckerContext &C) const { in analyzerIteratorPosition()
[all …]
H A DObjCSelfInitChecker.cpp54 static bool isSelfVar(SVal location, CheckerContext &C);
66 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()
133 static bool isInvalidSelf(const Expr *E, CheckerContext &C) { in isInvalidSelf()
210 CheckerContext &C) const { in checkPreStmt()
317 CheckerContext &C) const { in checkBind()
[all …]
H A DPointerArithChecker.cpp53 CheckerContext &C) const;
54 void reportPointerArithMisuse(const Expr *E, CheckerContext &C,
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;
106 CheckerContext &C) const { in getPointedRegion()
276 CheckerContext &C) const { in checkPreStmt()
297 CheckerContext &C) const { in checkPreStmt()
[all …]
H A DCastValueChecker.cpp78 CheckerContext &C) const;
80 CheckerContext &C) const;
82 CheckerContext &C) const;
84 CheckerContext &C) const;
86 CheckerContext &C) const;
88 CheckerContext &C) const;
90 CheckerContext &C) const;
92 CheckerContext &C) const;
104 static const NoteTag *getNoteTag(CheckerContext &C, in getNoteTag()
138 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.cpp52 bool isVforkCall(const Decl *D, 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;
64 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
82 bool VforkChecker::isVforkCall(const Decl *D, CheckerContext &C) const { in isVforkCall()
97 CheckerContext &C) const { in isCallWhitelisted()
121 void VforkChecker::reportBug(const char *What, CheckerContext &C, in reportBug()
144 CheckerContext &C) const { in checkPostCall()
184 CheckerContext &C) const { in checkPreCall()
[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.cpp33 void analyzerContainerDataField(const CallExpr *CE, CheckerContext &C,
35 void analyzerContainerBegin(const CallExpr *CE, CheckerContext &C) const;
36 void analyzerContainerEnd(const CallExpr *CE, CheckerContext &C) const;
37 ExplodedNode *reportDebugMsg(llvm::StringRef Msg, CheckerContext &C) const;
40 CheckerContext &) const;
52 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
64 CheckerContext &C) const { in evalCall()
79 CheckerContext &C, in analyzerContainerDataField()
119 CheckerContext &C) const { in analyzerContainerBegin()
126 CheckerContext &C) const { in analyzerContainerEnd()
[all …]
H A DStreamChecker.cpp281 CheckerContext &C) const;
284 CheckerContext &C) const;
286 CheckerContext &C) const;
289 CheckerContext &C) const;
292 CheckerContext &C) const;
295 CheckerContext &C) const;
301 CheckerContext &C) const;
303 CheckerContext &C) const;
306 CheckerContext &C) const;
312 CheckerContext &C,
[all …]
H A DIteratorModeling.cpp110 void handleRandomIncrOrDecr(CheckerContext &C, const Expr *CE,
156 CheckerContext &C) const;
173 CheckerContext &C) const { in checkPostCall()
236 CheckerContext &C) const { in checkBind()
252 CheckerContext &C) const { in checkPostStmt()
264 CheckerContext &C) const { in checkPostStmt()
293 CheckerContext &C) const { in checkPostStmt()
352 IteratorModeling::handleOverloadedOperator(CheckerContext &C, in handleOverloadedOperator()
426 IteratorModeling::handleAdvanceLikeFunction(CheckerContext &C, in handleAdvanceLikeFunction()
508 void IteratorModeling::processComparison(CheckerContext &C, in processComparison()
[all …]
H A DPthreadLockChecker.cpp85 CheckerContext &C,
175 void InitAnyLock(const CallEvent &Call, CheckerContext &C,
177 void InitLockAux(const CallEvent &Call, CheckerContext &C,
188 void TryXNULock(const CallEvent &Call, CheckerContext &C,
192 void TryC11Lock(const CallEvent &Call, CheckerContext &C,
362 CheckerContext &C, in AcquireXNULock()
369 CheckerContext &C, in TryPthreadLock()
382 CheckerContext &C, in TryFuchsiaLock()
468 CheckerContext &C, in ReleaseAnyLock()
527 CheckerContext &C, in DestroyXNULock()
[all …]
H A DGenericTaintChecker.cpp144 CheckerContext &C) const;
148 CheckerContext &C) const;
153 CheckerContext &C) const;
160 static bool isStdin(const Expr *E, CheckerContext &C);
179 CheckerContext &C) const;
193 CheckerContext &C) const;
197 CheckerContext &C) const;
285 CheckerContext &C);
422 CheckerContext &C) { in getTaintPropagationRule()
846 const CallEvent &Call, CheckerContext &C) const { in checkUncontrolledFormatString()
[all …]
H A DStackAddrEscapeChecker.cpp48 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
49 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
54 CheckerContext &C) const;
56 CheckerContext &C) const;
57 void EmitStackError(CheckerContext &C, const MemRegion *R,
114 CheckerContext &C) { in isArcManagedBlock()
139 CheckerContext &C) { in getCapturedStackRegions()
152 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, in EmitStackError()
176 const BlockDataRegion &B, CheckerContext &C) const { in checkAsyncExecutedBlockCaptures()
215 const BlockDataRegion &B, CheckerContext &C) const { in checkReturnedBlockCaptures()
[all …]
H A DCStringChecker.cpp118 typedef void (CStringChecker::*FnCheck)(CheckerContext &,
165 void evalstrLengthCommon(CheckerContext &C,
185 void evalStrcmpCommon(CheckerContext &C,
200 static assumeZero(CheckerContext &C,
211 SVal getCStringLength(CheckerContext &C,
247 void emitOverlapBug(CheckerContext &C,
268 static bool IsFirstBufInBound(CheckerContext &C,
1347 void CStringChecker::evalstrLength(CheckerContext &C, in evalstrLength()
1353 void CStringChecker::evalstrnLength(CheckerContext &C, in evalstrnLength()
1929 void CStringChecker::evalStrcasecmp(CheckerContext &C, in evalStrcasecmp()
[all …]
H A DChrootChecker.cpp55 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 { in evalCall()
78 void ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const { in evalChroot()
88 void ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const { in evalChdir()
116 CheckerContext &C) const { in checkPreCall()
H A DObjCSuperDeallocChecker.cpp41 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 { in checkPreObjCMessage()
108 CheckerContext &C) const { in checkPreCall()
113 CheckerContext &C) const { in checkPostObjCMessage()
131 CheckerContext &C) const { in checkLocation()
[all …]
H A DBasicObjCFoundationChecks.cpp115 CheckerContext &C) const;
117 void warnIfNilArg(CheckerContext &C,
126 CheckerContext &C) const;
131 CheckerContext &C) const;
133 CheckerContext &C) const;
139 CheckerContext &C) const { in warnIfNilExpr()
149 void NilArgChecker::warnIfNilArg(CheckerContext &C, in warnIfNilArg()
320 CheckerContext &C) const { in checkPostStmt()
328 CheckerContext &C) const { in checkPostStmt()
816 CheckerContext &C) const;
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h287 RetainSummaryManager &getSummaryManager(CheckerContext &C) const { in getSummaryManager()
295 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
296 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
307 CheckerContext &C) const;
311 CheckerContext &C) const;
313 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
331 void checkBeginFunction(CheckerContext &C) const;
336 CheckerContext &C) const;
343 CheckerContext &C) const;
345 void processObjCLiterals(CheckerContext &C, const Expr *Ex) const;
[all …]
/freebsd-13.1/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