Home
last modified time | relevance | path

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

1234

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp79 void Fopen(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;
90 void Feof(CheckerContext &C, const CallExpr *CE) const;
91 void Ferror(CheckerContext &C, const CallExpr *CE) const;
97 CheckerContext &C) const;
[all …]
H A DCheckerDocumentation.cpp73 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {} in checkPreStmt()
83 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
92 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPreObjCMessage()
119 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
125 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
144 CheckerContext &) const {} in checkNewAllocator()
156 CheckerContext &) const {} in checkLocation()
181 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {} in checkDeadSymbols()
188 void checkBeginFunction(CheckerContext &Ctx) const {} in checkBeginFunction()
195 void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const {} in checkEndFunction()
[all …]
H A DExprInspectionChecker.cpp35 void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
39 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
41 void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
42 void analyzerExplain(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;
57 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
68 CheckerContext &C) const { in REGISTER_SET_WITH_PROGRAMSTATE()
100 CheckerContext &C) { in getArgumentValueString()
[all …]
H A DUnixAPIChecker.cpp68 void CheckOpenVariant(CheckerContext &C,
71 bool ReportZeroByteAllocation(CheckerContext &C,
75 void BasicAllocationCheck(CheckerContext &C,
85 void ReportOpenBug(CheckerContext &C,
96 void UnixAPIChecker::ReportOpenBug(CheckerContext &C, in ReportOpenBug()
119 void UnixAPIChecker::CheckOpenVariant(CheckerContext &C, in CheckOpenVariant()
239 void UnixAPIChecker::CheckPthreadOnce(CheckerContext &C, in CheckPthreadOnce()
354 void UnixAPIChecker::CheckCallocZero(CheckerContext &C, in CheckCallocZero()
390 void UnixAPIChecker::CheckMallocZero(CheckerContext &C, in CheckMallocZero()
405 void UnixAPIChecker::CheckAllocaZero(CheckerContext &C, in CheckAllocaZero()
[all …]
H A DGenericTaintChecker.cpp39 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
41 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
56 bool checkPre(const CallExpr *CE, CheckerContext &C) const;
69 static bool isStdin(const Expr *E, CheckerContext &C);
76 const CallExpr *, CheckerContext &C) const;
87 CheckerContext &C) const;
94 CheckerContext &C) const;
100 CheckerContext &C) const;
104 CheckerContext &C) const;
145 CheckerContext &C);
[all …]
H A DAnalysisOrderChecker.cpp64 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const { in checkPreStmt()
70 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const { in checkPostStmt()
77 CheckerContext &C) const { in checkPreStmt()
83 CheckerContext &C) const { in checkPostStmt()
88 void checkPreStmt(const CXXNewExpr *NE, CheckerContext &C) const { in checkPreStmt()
93 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const { in checkPostStmt()
98 void checkPreStmt(const OffsetOfExpr *OOE, CheckerContext &C) const { in checkPreStmt()
108 void checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
117 void checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
126 void checkEndFunction(const ReturnStmt *S, CheckerContext &C) const { in checkEndFunction()
[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;
107 CheckerContext &C) const { in getPointedRegion()
277 CheckerContext &C) const { in checkPreStmt()
298 CheckerContext &C) const { in checkPreStmt()
[all …]
H A DObjCSelfInitChecker.cpp55 static bool isSelfVar(SVal location, CheckerContext &C);
67 void checkForInvalidSelf(const Expr *E, CheckerContext &C,
74 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
76 CheckerContext &C) const;
79 void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
114 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) { in getSelfFlags()
119 SelfFlagEnum flag, CheckerContext &C) { in addSelfFlag()
134 static bool isInvalidSelf(const Expr *E, CheckerContext &C) { in isInvalidSelf()
211 CheckerContext &C) const { in checkPreStmt()
318 CheckerContext &C) const { in checkBind()
[all …]
H A DVforkChecker.cpp53 bool isVforkCall(const Decl *D, CheckerContext &C) const;
56 void reportBug(const char *What, CheckerContext &C,
62 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
63 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
65 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
83 bool VforkChecker::isVforkCall(const Decl *D, CheckerContext &C) const { in isVforkCall()
98 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.cpp31 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
32 void checkBeginFunction(CheckerContext &C) const;
33 void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
38 CheckerContext &C) const { in checkBranchCondition()
55 void TraversalDumper::checkBeginFunction(CheckerContext &C) const { in checkBeginFunction()
60 CheckerContext &C) const { in checkEndFunction()
74 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
75 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
79 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
92 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
H A DCStringChecker.cpp93 void evalstrLengthCommon(CheckerContext &C,
101 void evalStrcpyCommon(CheckerContext &C,
116 void evalStrcmpCommon(CheckerContext &C,
131 static assumeZero(CheckerContext &C,
142 SVal getCStringLength(CheckerContext &C,
167 ProgramStateRef checkNonNull(CheckerContext &C,
171 ProgramStateRef CheckLocation(CheckerContext &C,
195 ProgramStateRef CheckOverlap(CheckerContext &C,
200 void emitOverlapBug(CheckerContext &C,
221 static bool IsFirstBufInBound(CheckerContext &C,
[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()
174 const BlockDataRegion &B, CheckerContext &C) const { in checkAsyncExecutedBlockCaptures()
212 const BlockDataRegion &B, CheckerContext &C) const { in checkReturnedBlockCaptures()
[all …]
H A DBasicObjCFoundationChecks.cpp116 CheckerContext &C) const;
118 void warnIfNilArg(CheckerContext &C,
127 CheckerContext &C) const;
132 CheckerContext &C) const;
134 CheckerContext &C) const;
140 CheckerContext &C) const { in warnIfNilExpr()
150 void NilArgChecker::warnIfNilArg(CheckerContext &C, in warnIfNilArg()
321 CheckerContext &C) const { in checkPostStmt()
329 CheckerContext &C) const { in checkPostStmt()
816 CheckerContext &C) const;
[all …]
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()
183 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;
85 CheckerContext &C) const { in checkPreObjCMessage()
110 CheckerContext &C) const { in checkPreCall()
115 CheckerContext &C) const { in checkPostObjCMessage()
132 CheckerContext &C) const { in checkLocation()
[all …]
H A DCheckObjCDealloc.cpp116 void checkBeginFunction(CheckerContext &Ctx) const;
132 void diagnoseMissingReleases(CheckerContext &C) const;
135 CheckerContext &C) const;
139 CheckerContext &C) const;
157 bool instanceDeallocIsOnStack(const CheckerContext &C,
255 CheckerContext &C) const { in checkBeginFunction()
330 const ObjCMethodCall &M, CheckerContext &C) const { in checkPreObjCMessage()
382 const ObjCMethodCall &M, CheckerContext &C) const { in checkPostObjCMessage()
393 const ReturnStmt *RS, CheckerContext &C) const { in checkEndFunction()
399 const ReturnStmt *RS, CheckerContext &C) const { in checkPreStmt()
[all …]
H A DReturnUndefChecker.cpp31 void emitUndef(CheckerContext &C, const Expr *RetE) const;
32 void checkReference(CheckerContext &C, const Expr *RetE,
35 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
40 CheckerContext &C) const { in checkPreStmt()
81 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE, in emitBug()
95 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const { in emitUndef()
103 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE, in checkReference()
H A DChrootChecker.cpp54 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
55 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
58 void Chroot(CheckerContext &C, const CallExpr *CE) const;
59 void Chdir(CheckerContext &C, const CallExpr *CE) const;
64 bool ChrootChecker::evalCall(const CallExpr *CE, CheckerContext &C) const { in evalCall()
87 void ChrootChecker::Chroot(CheckerContext &C, const CallExpr *CE) const { in Chroot()
97 void ChrootChecker::Chdir(CheckerContext &C, const CallExpr *CE) const { in Chdir()
124 void ChrootChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const { in checkPreStmt()
H A DMallocChecker.cpp216 CheckerContext &C) const;
226 CheckerContext &C) const;
305 ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
324 performKernelMalloc(const CallExpr *CE, CheckerContext &C,
360 bool isReleased(SymbolRef Sym, CheckerContext &C) const;
399 Optional<CheckKind> getCheckIfTracked(CheckerContext &C,
409 void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
433 CheckerContext &C) const;
1074 CheckerContext &C, in processNewAllocation()
1672 MallocChecker::getCheckIfTracked(CheckerContext &C, in getCheckIfTracked()
[all …]
H A DValistChecker.cpp52 void checkPreStmt(const VAArgExpr *VAA, CheckerContext &C) const;
53 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
54 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
63 CheckerContext &C) const;
68 void checkVAListStartCall(const CallEvent &Call, CheckerContext &C,
70 void checkVAListEndCall(const CallEvent &Call, CheckerContext &C) const;
125 CheckerContext &C) const { in checkPreCall()
186 CheckerContext &C) const { in checkPreStmt()
203 CheckerContext &C) const { in checkDeadSymbols()
249 CheckerContext &C) const { in reportUninitializedAccess()
[all …]
H A DIteratorChecker.cpp226 void handleAssign(CheckerContext &C, const SVal &Cont,
236 void handleErase(CheckerContext &C, const SVal &Iter1,
245 void verifyMatch(CheckerContext &C, const SVal &Iter,
247 void verifyMatch(CheckerContext &C, const SVal &Iter1,
282 CheckerContext &C) const;
1042 void IteratorChecker::verifyIncrement(CheckerContext &C, in verifyIncrement()
1049 void IteratorChecker::verifyDecrement(CheckerContext &C, in verifyDecrement()
1293 void IteratorChecker::handlePushBack(CheckerContext &C, in handlePushBack()
1368 void IteratorChecker::handlePushFront(CheckerContext &C, in handlePushFront()
1401 void IteratorChecker::handlePopFront(CheckerContext &C, in handlePopFront()
[all …]
H A DSimpleStreamChecker.cpp62 CheckerContext &C) const;
64 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
73 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
75 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
119 CheckerContext &C) const { in checkPostCall()
138 CheckerContext &C) const { in checkPreCall()
176 CheckerContext &C) const { in checkDeadSymbols()
202 CheckerContext &C) const { in reportDoubleClose()
218 CheckerContext &C, in reportLeaks()
H A DConversionChecker.cpp43 void checkPreStmt(const ImplicitCastExpr *Cast, CheckerContext &C) const;
49 CheckerContext &C) const;
51 bool isLossOfSign(const ImplicitCastExpr *Cast, CheckerContext &C) const;
53 void reportBug(ExplodedNode *N, CheckerContext &C, const char Msg[]) const;
58 CheckerContext &C) const { in checkPreStmt()
118 void ConversionChecker::reportBug(ExplodedNode *N, CheckerContext &C, in reportBug()
131 CheckerContext &C) const { in isLossOfPrecision()
186 CheckerContext &C) const { in isLossOfSign()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.h288 RetainSummaryManager &getSummaryManager(CheckerContext &C) const { in getSummaryManager()
296 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
297 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
308 CheckerContext &C) const;
312 CheckerContext &C) const;
314 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
332 void checkBeginFunction(CheckerContext &C) const;
337 CheckerContext &C) const;
341 CheckerContext &C) const;
343 void processObjCLiterals(CheckerContext &C, const Expr *Ex) const;
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.h36 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { in checkPreCall()
42 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { in checkDeadSymbols()
47 void dynamicInit(CheckerContext &Ctx) const { in dynamicInit()
60 clang::ento::CheckerContext &Ctx) const;
68 clang::ento::CheckerContext &Ctx) const;
74 clang::ento::CheckerContext &Ctx) const;
88 clang::ento::CheckerContext &Ctx) const;

1234