| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | CastValueChecker.cpp | 37 std::function<void(const CastValueChecker *, const CallEvent &Call,
53 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
77 void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
79 void evalDynCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
81 void evalCastOrNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
83 void evalDynCastOrNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
85 void evalCastAs(const CallEvent &Call, DefinedOrUnknownSVal DV,
87 void evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV,
89 void evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,
91 void evalIsaAndNonNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
[all …]
|
| D | PthreadLockChecker.cpp | 84 typedef void (PthreadLockChecker::*FnCheck)(const CallEvent &Call,
175 void InitAnyLock(const CallEvent &Call, CheckerContext &C,
177 void InitLockAux(const CallEvent &Call, CheckerContext &C,
182 void AcquirePthreadLock(const CallEvent &Call, CheckerContext &C,
184 void AcquireXNULock(const CallEvent &Call, CheckerContext &C,
186 void TryPthreadLock(const CallEvent &Call, CheckerContext &C,
188 void TryXNULock(const CallEvent &Call, CheckerContext &C,
190 void TryFuchsiaLock(const CallEvent &Call, CheckerContext &C,
192 void TryC11Lock(const CallEvent &Call, CheckerContext &C,
194 void AcquireLockAux(const CallEvent &Call, CheckerContext &C,
[all …]
|
| D | BlockInCriticalSectionChecker.cpp | 45 const CallEvent &call,
51 bool isBlockingFunction(const CallEvent &Call) const;
52 bool isLockFunction(const CallEvent &Call) const;
53 bool isUnlockFunction(const CallEvent &Call) const;
58 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
98 bool BlockInCriticalSectionChecker::isBlockingFunction(const CallEvent &Call) const { in isBlockingFunction()
109 bool BlockInCriticalSectionChecker::isLockFunction(const CallEvent &Call) const { in isLockFunction()
127 bool BlockInCriticalSectionChecker::isUnlockFunction(const CallEvent &Call) const { in isUnlockFunction()
143 void BlockInCriticalSectionChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
167 SymbolRef BlockDescSym, const CallEvent &Call, CheckerContext &C) const { in reportBlockInCritSection()
|
| D | 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 { 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()
115 void ChrootChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
|
| D | SmartPtrModeling.cpp | 42 bool isBoolConversionMethod(const CallEvent &Call) const;
47 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
48 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
55 const LocationContext *LCtx, const CallEvent *Call) const;
61 void handleReset(const CallEvent &Call, CheckerContext &C) const;
62 void handleRelease(const CallEvent &Call, CheckerContext &C) const;
63 void handleSwap(const CallEvent &Call, CheckerContext &C) const;
64 void handleGet(const CallEvent &Call, CheckerContext &C) const;
65 bool handleAssignOp(const CallEvent &Call, CheckerContext &C) const;
66 bool handleMoveCtr(const CallEvent &Call, CheckerContext &C,
[all …]
|
| D | StreamChecker.cpp | 151 const CallEvent &, CheckerContext &)>;
164 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) { in getStreamArg()
211 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
212 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
216 const CallEvent *Call,
266 void evalFopen(const FnDescription *Desc, const CallEvent &Call,
269 void preFreopen(const FnDescription *Desc, const CallEvent &Call,
271 void evalFreopen(const FnDescription *Desc, const CallEvent &Call,
274 void evalFclose(const FnDescription *Desc, const CallEvent &Call,
277 void preFread(const FnDescription *Desc, const CallEvent &Call,
[all …]
|
| D | SimpleStreamChecker.cpp | 60 const CallEvent &Call,
66 bool guaranteedNotToCloseFile(const CallEvent &Call) const;
72 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
74 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
81 const CallEvent *Call,
117 void SimpleStreamChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
136 void SimpleStreamChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
200 const CallEvent &Call, in reportDoubleClose()
230 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const{ in guaranteedNotToCloseFile()
250 const CallEvent *Call, in checkPointerEscape()
|
| D | SmartPtrChecker.cpp | 37 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
43 const CallEvent &Call) const;
45 const CallEvent &Call) const;
60 void SmartPtrChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
80 const CallEvent &Call) const { in reportBug()
95 const CallEvent &Call) const { in explainDereference()
|
| D | GenericTaintChecker.cpp | 48 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
49 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
111 static Optional<FunctionData> create(const CallEvent &Call, in create()
140 bool checkPre(const CallEvent &Call, const FunctionData &FData,
144 bool addSourcesPre(const CallEvent &Call, const FunctionData &FData,
149 bool addFiltersPre(const CallEvent &Call, const FunctionData &FData,
153 static bool propagateFromPre(const CallEvent &Call, CheckerContext &C);
166 bool checkUncontrolledFormatString(const CallEvent &Call,
175 bool checkSystemCall(const CallEvent &Call, StringRef Name,
184 bool checkTaintedBufferSize(const CallEvent &Call, CheckerContext &C) const;
[all …]
|
| D | CheckerDocumentation.cpp | 118 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
124 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
278 const CallEvent *Call) const { in checkRegionChanges()
297 const CallEvent *Call, in checkPointerEscape()
308 const CallEvent *Call, in checkConstPointerEscape()
|
| D | MallocChecker.cpp | 276 static bool isStandardNewDelete(const CallEvent &Call) { in isStandardNewDelete()
320 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
321 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
335 const CallEvent *Call,
339 const CallEvent *Call,
357 void NAME(const CallEvent &Call, CheckerContext &C) const;
375 void checkRealloc(const CallEvent &Call, CheckerContext &C,
379 const CallEvent &Call, CheckerContext &C)>;
388 bool isFreeingCall(const CallEvent &Call) const;
428 bool isMemCall(const CallEvent &Call) const;
[all …]
|
| D | InnerPointerChecker.cpp | 91 bool isInvalidatingMemberFunction(const CallEvent &Call) const;
95 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,
102 void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State,
108 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
117 const CallEvent &Call) const { in isInvalidatingMemberFunction()
133 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased()
150 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call, in checkFunctionArguments()
194 void InnerPointerChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
|
| D | TraversalChecker.cpp | 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()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CallEvent.h | 50 class CallEvent; variable
56 friend CallEvent; variable
77 template<typename T = CallEvent>
138 class CallEvent {
147 void operator=(const CallEvent &) = delete;
168 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function
171 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function
175 CallEvent(const CallEvent &Original) in CallEvent() function
196 virtual ~CallEvent() {} in ~CallEvent()
365 return cloneWithState<CallEvent>(NewState); in cloneWithState()
[all …]
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CallEvent.h | 78 class CallEvent; variable
81 template<typename T = CallEvent>
143 class CallEvent {
172 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function
175 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function
179 CallEvent(const CallEvent &Original) in CallEvent() function
199 CallEvent &operator=(const CallEvent &) = delete;
200 virtual ~CallEvent() = default;
377 return cloneWithState<CallEvent>(NewState); in cloneWithState()
484 class AnyFunctionCall : public CallEvent {
[all …]
|
| D | ExprEngine.h | 82 class CallEvent; variable
401 const CallEvent *Call);
646 const CallEvent *Call);
655 const CallEvent *Call,
674 const CallEvent *Call = nullptr) const;
706 ProgramStateRef bindReturnValue(const CallEvent &Call,
713 const CallEvent &Call);
717 const CallEvent &Call,
751 const CallEvent &Call);
753 const CallEvent &Call);
[all …]
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | SimpleStreamChecker.cpp | 61 const CallEvent &Call,
67 bool guaranteedNotToCloseFile(const CallEvent &Call) const;
73 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
75 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
82 const CallEvent *Call,
118 void SimpleStreamChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
137 void SimpleStreamChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
201 const CallEvent &Call, in reportDoubleClose()
230 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const{ in guaranteedNotToCloseFile()
250 const CallEvent *Call, in checkPointerEscape()
|
| D | CheckerDocumentation.cpp | 117 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
123 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
269 const CallEvent *Call) const { in checkRegionChanges()
288 const CallEvent *Call, in checkPointerEscape()
299 const CallEvent *Call, in checkConstPointerEscape()
|
| D | TraversalChecker.cpp | 73 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
74 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
78 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
91 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.h | 36 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { in checkPreCall()
60 void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
69 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
89 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
97 topRegionUsedByWait(const clang::ento::CallEvent &CE) const;
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.h | 35 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { in checkPreCall()
58 void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
94 topRegionUsedByWait(const clang::ento::CallEvent &CE) const;
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 70 QualType CallEvent::getResultType() const { in getResultType()
131 bool CallEvent::hasNonNullArgumentsWithType(bool (*Condition)(QualType)) const { in hasNonNullArgumentsWithType()
141 for (CallEvent::param_type_iterator I = param_type_begin(), in hasNonNullArgumentsWithType()
154 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg()
158 bool CallEvent::hasVoidPointerToNonConstArg() const { in hasVoidPointerToNonConstArg()
162 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { in isGlobalCFunction()
170 AnalysisDeclContext *CallEvent::getCalleeAnalysisDeclContext() const { in getCalleeAnalysisDeclContext()
182 CallEvent::getCalleeStackFrame(unsigned BlockCount) const { in getCalleeStackFrame()
212 *CallEvent::getParameterLocation(unsigned Index, unsigned BlockCount) const { in getParameterLocation()
241 const CallEvent &Call) { in findPtrToConstParams()
[all …]
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 28 QualType CallEvent::getResultType() const { in getResultType()
87 bool CallEvent::hasNonNullArgumentsWithType(bool (*Condition)(QualType)) const { in hasNonNullArgumentsWithType()
97 for (CallEvent::param_type_iterator I = param_type_begin(), in hasNonNullArgumentsWithType()
113 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg()
117 bool CallEvent::hasVoidPointerToNonConstArg() const { in hasVoidPointerToNonConstArg()
121 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { in isGlobalCFunction()
146 const CallEvent &Call) { in findPtrToConstParams()
148 for (CallEvent::param_type_iterator I = Call.param_type_begin(), in findPtrToConstParams()
156 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, in invalidateRegions()
196 ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit, in getProgramPoint()
[all …]
|
| /external/llvm-project/clang/unittests/StaticAnalyzer/ |
| D | FalsePositiveRefutationBRVisitorTest.cpp | 36 using HandlerFn = bool (Self::*)(const CallEvent &Call,
56 bool reachedWithNoContradiction(const CallEvent &, CheckerContext &C) const { in reachedWithNoContradiction() argument
60 bool reachedWithContradiction(const CallEvent &, CheckerContext &C) const { in reachedWithContradiction() argument
67 bool reportIfCanBeTrue(const CallEvent &Call, CheckerContext &C) const { in reportIfCanBeTrue()
87 bool evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| D | CheckerManager.h | 42 class CallEvent; variable
312 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
318 const CallEvent &Call, ExprEngine &Eng,
327 const CallEvent &Call, ExprEngine &Eng,
409 const CallEvent *Call);
429 const CallEvent *Call,
441 const CallEvent &CE, ExprEngine &Eng,
490 CheckerFn<void (const CallEvent &, CheckerContext &)>;
525 const CallEvent *Call)>;
530 const CallEvent *Call, PointerEscapeKind Kind,
[all …]
|