Home
last modified time | relevance | path

Searched refs:CallEvent (Results 1 – 25 of 90) sorted by relevance

1234

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
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);
49 const CallEvent &Call);
69 static void evalSetErrnoCheckState(CheckerContext &C, const CallEvent &Call);
71 using EvalFn = std::function<void(CheckerContext &, const CallEvent &)>;
88 const CallEvent &Call) { in evalSetErrno()
94 const CallEvent &Call) { in evalGetErrno()
106 const CallEvent &Call) { in evalSetErrnoIfError()
[all …]
H A DCastValueChecker.cpp38 std::function<void(const CastValueChecker *, const CallEvent &Call,
54 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
78 void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
80 void evalDynCast(const CallEvent &Call, DefinedOrUnknownSVal DV,
82 void evalCastOrNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
84 void evalDynCastOrNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
86 void evalCastAs(const CallEvent &Call, DefinedOrUnknownSVal DV,
88 void evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV,
90 void evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV,
92 void evalIsaAndNonNull(const CallEvent &Call, DefinedOrUnknownSVal DV,
[all …]
H A DPthreadLockChecker.cpp85 typedef void (PthreadLockChecker::*FnCheck)(const CallEvent &Call,
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,
228 void AcquireLockAux(const CallEvent &Call, CheckerContext &C,
[all …]
H A DBlockInCriticalSectionChecker.cpp67 [[nodiscard]] bool matches(const CallEvent &Call, bool IsLock) const { in matches()
80 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion()
90 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion()
100 void initIdentifierInfo(const CallEvent &Call) const { in initIdentifierInfo()
112 template <typename T> bool matchesImpl(const CallEvent &Call) const { in matchesImpl()
123 [[nodiscard]] bool matches(const CallEvent &Call, bool IsLock) const { in matches()
130 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, in getRegion()
239 void reportBlockInCritSection(const CallEvent &call, CheckerContext &C) const;
245 checkDescriptorMatch(const CallEvent &Call, CheckerContext &C,
248 void handleLock(const MutexDescriptor &Mutex, const CallEvent &Call,
[all …]
H A DSetgidSetuidOrderChecker.cpp46 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
51 void processSetuid(ProgramStateRef State, const CallEvent &Call,
53 void processSetgid(ProgramStateRef State, const CallEvent &Call,
55 void processOther(ProgramStateRef State, const CallEvent &Call,
60 const CallEvent &Call) const;
78 void SetgidSetuidOrderChecker::checkPostCall(const CallEvent &Call, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
121 const CallEvent &Call, in processSetuid()
143 const CallEvent &Call, in processSetgid()
162 const CallEvent &Call, in processOther()
170 const CallDescription &Desc, const CallEvent &Call) const { in isFunctionCalledInArg()
H A DSimpleStreamChecker.cpp64 const CallEvent &Call,
70 bool guaranteedNotToCloseFile(const CallEvent &Call) const;
74 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
76 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
83 const CallEvent *Call,
93 void SimpleStreamChecker::checkPostCall(const CallEvent &Call, in REGISTER_MAP_WITH_PROGRAMSTATE()
109 void SimpleStreamChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
168 const CallEvent &Call, in reportDoubleClose()
198 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const{ in guaranteedNotToCloseFile()
218 const CallEvent *Call, in checkPointerEscape()
H A DSmartPtrModeling.cpp46 bool isBoolConversionMethod(const CallEvent &Call) const;
51 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
58 const LocationContext *LCtx, const CallEvent *Call) const;
64 void handleReset(const CallEvent &Call, CheckerContext &C) const;
65 void handleRelease(const CallEvent &Call, CheckerContext &C) const;
66 void handleSwapMethod(const CallEvent &Call, CheckerContext &C) const;
67 void handleGet(const CallEvent &Call, CheckerContext &C) const;
68 bool handleAssignOp(const CallEvent &Call, CheckerContext &C) const;
69 bool handleMoveCtr(const CallEvent &Call, CheckerContext &C,
73 const CallEvent &Call) const;
[all …]
H A DTaggedUnionModeling.h26 bool isCopyConstructorCall(const CallEvent &Call);
27 bool isCopyAssignmentCall(const CallEvent &Call);
28 bool isMoveAssignmentCall(const CallEvent &Call);
29 bool isMoveConstructorCall(const CallEvent &Call);
37 removeInformationStoredForDeadInstances(const CallEvent &Call, in removeInformationStoredForDeadInstances()
53 void handleConstructorAndAssignment(const CallEvent &Call, CheckerContext &C, in handleConstructorAndAssignment()
H A DSmartPtrChecker.cpp33 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
39 const CallEvent &Call) const;
41 const CallEvent &Call) const;
56 void SmartPtrChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
76 const CallEvent &Call) const { in reportBug()
91 const CallEvent &Call) const { in explainDereference()
H A DChrootChecker.cpp53 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
54 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
57 bool evalChroot(const CallEvent &Call, CheckerContext &C) const;
58 bool evalChdir(const CallEvent &Call, CheckerContext &C) const;
65 bool ChrootChecker::evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
75 bool ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const { in evalChroot()
93 bool ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const { in evalChdir()
155 void ChrootChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
H A DStreamChecker.cpp196 const CallEvent &, CheckerContext &)>;
220 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) { in getStreamArg()
270 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
271 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
275 const CallEvent *Call,
467 void evalFopen(const FnDescription *Desc, const CallEvent &Call,
470 void preFreopen(const FnDescription *Desc, const CallEvent &Call,
472 void evalFreopen(const FnDescription *Desc, const CallEvent &Call,
475 void evalFclose(const FnDescription *Desc, const CallEvent &Call,
478 void preRead(const FnDescription *Desc, const CallEvent &Call,
[all …]
H A DCStringChecker.cpp113 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
124 const CallEvent *Call) const;
127 const CallEvent &)>;
198 FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const;
199 void evalMemcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
200 void evalMempcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
201 void evalMemmove(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
202 void evalBcopy(CheckerContext &C, const CallEvent &Call) const;
203 void evalCopyCommon(CheckerContext &C, const CallEvent &Call,
208 void evalMemcmp(CheckerContext &C, const CallEvent &Call, CharKind CK) const;
[all …]
H A DCheckerDocumentation.cpp124 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall()
130 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall()
268 bool evalCall(const CallEvent &Call, CheckerContext &C) const { return true; } in evalCall()
317 const CallEvent *Call) const { in checkRegionChanges()
336 const CallEvent *Call, in checkPointerEscape()
347 const CallEvent *Call, in checkConstPointerEscape()
H A DStdVariantChecker.cpp33 getConstructorDeclarationForCall(const CallEvent &Call) { in getConstructorDeclarationForCall()
41 bool isCopyConstructorCall(const CallEvent &Call) { in isCopyConstructorCall()
48 bool isCopyAssignmentCall(const CallEvent &Call) { in isCopyAssignmentCall()
57 bool isMoveConstructorCall(const CallEvent &Call) { in isMoveConstructorCall()
66 bool isMoveAssignmentCall(const CallEvent &Call) { in isMoveAssignmentCall()
144 const CallEvent *Call) const { in checkRegionChanges()
152 bool evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
219 bool handleStdGetCall(const CallEvent &Call, CheckerContext &C) const { in handleStdGetCall()
H A DMallocChecker.cpp317 static bool isStandardNew(const CallEvent &Call) { in isStandardNew()
324 static bool isStandardDelete(const CallEvent &Call) { in isStandardDelete()
421 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
422 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
423 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
437 const CallEvent *Call,
441 const CallEvent *Call,
451 void NAME(ProgramStateRef State, const CallEvent &Call, CheckerContext &C) \
472 void checkRealloc(ProgramStateRef State, const CallEvent &Call,
477 const CallEvent &Call, CheckerContext &C)>;
[all …]
H A DSTLAlgorithmModeling.cpp28 bool evalFind(CheckerContext &C, const CallEvent &Call) const;
30 void Find(CheckerContext &C, const CallEvent &Call, unsigned paramNum) const;
33 const CallEvent &Call) const;
87 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
90 bool STLAlgorithmModeling::evalCall(const CallEvent &Call, in evalCall()
104 const CallEvent &Call) const { in evalFind()
130 void STLAlgorithmModeling::Find(CheckerContext &C, const CallEvent &Call, in Find()
H A DBuiltinFunctionChecker.cpp44 QualType getOverflowBuiltinResultType(const CallEvent &Call) { in getOverflowBuiltinResultType()
51 QualType getOverflowBuiltinResultType(const CallEvent &Call, CheckerContext &C, in getOverflowBuiltinResultType()
95 bool evalCall(const CallEvent &Call, CheckerContext &C) const;
96 void handleOverflowBuiltin(const CallEvent &Call, CheckerContext &C,
104 const CallEvent &Call,
123 bool isBuiltinLikeFunction(const CallEvent &Call) const;
176 CheckerContext &C, ProgramStateRef State, const CallEvent &Call, in initStateAftetBuiltinOverflow()
198 void BuiltinFunctionChecker::handleOverflowBuiltin(const CallEvent &Call, in handleOverflowBuiltin()
234 const CallEvent &Call) const { in isBuiltinLikeFunction()
250 bool BuiltinFunctionChecker::evalCall(const CallEvent &Call, in evalCall()
H A DTraversalChecker.cpp63 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
64 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
68 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall()
81 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
H A DInnerPointerChecker.cpp93 bool isInvalidatingMemberFunction(const CallEvent &Call) const;
97 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State,
104 void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State,
110 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
119 const CallEvent &Call) const { in isInvalidatingMemberFunction()
130 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased()
147 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call, in checkFunctionArguments()
196 void InnerPointerChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
H A DStringChecker.cpp32 bool isCharToStringCtor(const CallEvent &Call, const ASTContext &ACtx) const;
35 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
38 bool StringChecker::isCharToStringCtor(const CallEvent &Call, in isCharToStringCtor()
67 void StringChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h80 class CallEvent; variable
82 template <typename T = CallEvent>
153 class CallEvent {
184 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx, in CallEvent() function
188 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx, in CallEvent() function
193 CallEvent(const CallEvent &Original) in CallEvent() function
215 CallEvent &operator=(const CallEvent &) = delete;
216 virtual ~CallEvent() = default;
383 return cloneWithState<CallEvent>(NewState); in cloneWithState()
499 class AnyFunctionCall : public CallEvent {
[all …]
H A DCallDescription.h72 friend class CallEvent;
126 bool matches(const CallEvent &Call) const;
133 friend bool matchesAny(const CallEvent &Call, const CallDescription &CD1) { in matchesAny()
139 friend bool matchesAny(const CallEvent &Call, const CallDescription &CD1, in matchesAny()
222 [[nodiscard]] const T *lookup(const CallEvent &Call) const { in lookup()
271 [[nodiscard]] bool contains(const CallEvent &Call) const;
H A DExprEngine.h81 class CallEvent; variable
404 const CallEvent *Call);
646 const CallEvent *Call);
655 const CallEvent *Call,
675 const CallEvent *Call = nullptr) const;
706 ProgramStateRef bindReturnValue(const CallEvent &Call,
713 const CallEvent &Call);
717 const CallEvent &Call,
765 const CallEvent &Call);
767 const CallEvent &Call);
[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()
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;
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCallEvent.cpp70 QualType CallEvent::getResultType() const { in getResultType()
112 bool CallEvent::hasNonNullArgumentsWithType(bool (*Condition)(QualType)) const { in hasNonNullArgumentsWithType()
122 for (CallEvent::param_type_iterator I = param_type_begin(), in hasNonNullArgumentsWithType()
135 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg()
139 bool CallEvent::hasVoidPointerToNonConstArg() const { in hasVoidPointerToNonConstArg()
143 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { in isGlobalCFunction()
151 AnalysisDeclContext *CallEvent::getCalleeAnalysisDeclContext() const { in getCalleeAnalysisDeclContext()
163 CallEvent::getCalleeStackFrame(unsigned BlockCount) const { in getCalleeStackFrame()
193 *CallEvent::getParameterLocation(unsigned Index, unsigned BlockCount) const { in getParameterLocation()
222 const CallEvent &Call) { in findPtrToConstParams()
[all …]

1234