/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BlockInCriticalSectionChecker.cpp | 66 [[nodiscard]] bool matches(const CallEvent &Call, bool IsLock) const { in matches() 79 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion() 89 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, bool) const { in getRegion() 99 void initIdentifierInfo(const CallEvent &Call) const { in initIdentifierInfo() 111 template <typename T> bool matchesImpl(const CallEvent &Call) const { in matchesImpl() 122 [[nodiscard]] bool matches(const CallEvent &Call, bool IsLock) const { in matches() 129 [[nodiscard]] const MemRegion *getRegion(const CallEvent &Call, in getRegion() 184 void reportBlockInCritSection(const CallEvent &call, CheckerContext &C) const; 190 checkDescriptorMatch(const CallEvent &Call, CheckerContext &C, 193 void handleLock(const MutexDescriptor &Mutex, const CallEvent &Call, [all …]
|
H A D | ErrnoTesterChecker.cpp | 30 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 D | CastValueChecker.cpp | 38 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 D | PthreadLockChecker.cpp | 85 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 D | ChrootChecker.cpp | 57 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 58 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 61 void evalChroot(const CallEvent &Call, CheckerContext &C) const; 62 void evalChdir(const CallEvent &Call, CheckerContext &C) const; 67 bool ChrootChecker::evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall() 80 void ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const { in evalChroot() 90 void ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const { in evalChdir() 117 void ChrootChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
|
H A D | SimpleStreamChecker.cpp | 64 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 D | SetgidSetuidOrderChecker.cpp | 46 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 D | SmartPtrModeling.cpp | 48 bool isBoolConversionMethod(const CallEvent &Call) const; 53 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 60 const LocationContext *LCtx, const CallEvent *Call) const; 66 void handleReset(const CallEvent &Call, CheckerContext &C) const; 67 void handleRelease(const CallEvent &Call, CheckerContext &C) const; 68 void handleSwapMethod(const CallEvent &Call, CheckerContext &C) const; 69 void handleGet(const CallEvent &Call, CheckerContext &C) const; 70 bool handleAssignOp(const CallEvent &Call, CheckerContext &C) const; 71 bool handleMoveCtr(const CallEvent &Call, CheckerContext &C, 75 const CallEvent &Call) const; [all …]
|
H A D | TaggedUnionModeling.h | 26 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 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()
|
H A D | StreamChecker.cpp | 196 const CallEvent &, CheckerContext &)>; 220 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) { in getStreamArg() 271 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 272 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 276 const CallEvent *Call, 454 void evalFopen(const FnDescription *Desc, const CallEvent &Call, 457 void preFreopen(const FnDescription *Desc, const CallEvent &Call, 459 void evalFreopen(const FnDescription *Desc, const CallEvent &Call, 462 void evalFclose(const FnDescription *Desc, const CallEvent &Call, 465 void preRead(const FnDescription *Desc, const CallEvent &Call, [all …]
|
H A D | CStringChecker.cpp | 114 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 125 const CallEvent *Call) const; 128 const CallEvent &)>; 199 FnCheck identifyCall(const CallEvent &Call, CheckerContext &C) const; 200 void evalMemcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const; 201 void evalMempcpy(CheckerContext &C, const CallEvent &Call, CharKind CK) const; 202 void evalMemmove(CheckerContext &C, const CallEvent &Call, CharKind CK) const; 203 void evalBcopy(CheckerContext &C, const CallEvent &Call) const; 204 void evalCopyCommon(CheckerContext &C, const CallEvent &Call, 209 void evalMemcmp(CheckerContext &C, const CallEvent &Call, CharKind CK) const; [all …]
|
H A D | CheckerDocumentation.cpp | 124 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall() 130 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall() 232 bool evalCall(const CallEvent &Call, CheckerContext &C) const { return true; } in evalCall() 281 const CallEvent *Call) const { in checkRegionChanges() 300 const CallEvent *Call, in checkPointerEscape() 311 const CallEvent *Call, in checkConstPointerEscape()
|
H A D | StdVariantChecker.cpp | 35 getConstructorDeclarationForCall(const CallEvent &Call) { in getConstructorDeclarationForCall() 43 bool isCopyConstructorCall(const CallEvent &Call) { in isCopyConstructorCall() 50 bool isCopyAssignmentCall(const CallEvent &Call) { in isCopyAssignmentCall() 59 bool isMoveConstructorCall(const CallEvent &Call) { in isMoveConstructorCall() 68 bool isMoveAssignmentCall(const CallEvent &Call) { in isMoveAssignmentCall() 146 const CallEvent *Call) const { in checkRegionChanges() 154 bool evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall() 221 bool handleStdGetCall(const CallEvent &Call, CheckerContext &C) const { in handleStdGetCall()
|
H A D | InnerPointerChecker.cpp | 95 bool isInvalidatingMemberFunction(const CallEvent &Call) const; 99 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State, 106 void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State, 112 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 121 const CallEvent &Call) const { in isInvalidatingMemberFunction() 132 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased() 149 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call, in checkFunctionArguments() 198 void InnerPointerChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
|
H A D | MallocChecker.cpp | 287 static bool isStandardNewDelete(const CallEvent &Call) { in isStandardNewDelete() 334 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 335 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 349 const CallEvent *Call, 353 const CallEvent *Call, 372 void NAME(const CallEvent &Call, CheckerContext &C) const; 392 void checkRealloc(const CallEvent &Call, CheckerContext &C, 396 const CallEvent &Call, CheckerContext &C)>; 413 bool isFreeingCall(const CallEvent &Call) const; 466 bool isMemCall(const CallEvent &Call) const; [all …]
|
H A D | StringChecker.cpp | 32 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()
|
H A D | ErrnoChecker.cpp | 38 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 44 const LocationContext *LCtx, const CallEvent *Call) const; 55 const CallEvent *CallMayChangeErrno) const; 113 const CallEvent *CallMayChangeErrno) const { in generateErrnoNotCheckedBug() 191 void ErrnoChecker::checkPreCall(const CallEvent &Call, in checkPreCall() 222 const CallEvent *Call) const { in checkRegionChanges()
|
H A 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()
|
H A D | UnixAPIChecker.cpp | 69 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 71 void CheckOpen(CheckerContext &C, const CallEvent &Call) const; 72 void CheckOpenAt(CheckerContext &C, const CallEvent &Call) const; 73 void CheckGetDelim(CheckerContext &C, const CallEvent &Call) const; 74 void CheckPthreadOnce(CheckerContext &C, const CallEvent &Call) const; 76 void CheckOpenVariant(CheckerContext &C, const CallEvent &Call, 155 void UnixAPIMisuseChecker::checkPreCall(const CallEvent &Call, in checkPreCall() 197 const CallEvent &Call) const { in CheckOpen() 202 const CallEvent &Call) const { in CheckOpenAt() 207 const CallEvent &Call, in CheckOpenVariant() [all …]
|
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CallEvent.h | 80 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 D | CallDescription.h | 72 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 D | ExprEngine.h | 81 class CallEvent; variable 396 const CallEvent *Call); 633 const CallEvent *Call); 642 const CallEvent *Call, 661 const CallEvent *Call = nullptr) const; 693 ProgramStateRef bindReturnValue(const CallEvent &Call, 700 const CallEvent &Call); 704 const CallEvent &Call, 752 const CallEvent &Call); 754 const CallEvent &Call); [all …]
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A 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;
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | CallEvent.cpp | 71 QualType CallEvent::getResultType() const { in getResultType() 113 bool CallEvent::hasNonNullArgumentsWithType(bool (*Condition)(QualType)) const { in hasNonNullArgumentsWithType() 123 for (CallEvent::param_type_iterator I = param_type_begin(), in hasNonNullArgumentsWithType() 136 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg() 140 bool CallEvent::hasVoidPointerToNonConstArg() const { in hasVoidPointerToNonConstArg() 144 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { in isGlobalCFunction() 152 AnalysisDeclContext *CallEvent::getCalleeAnalysisDeclContext() const { in getCalleeAnalysisDeclContext() 164 CallEvent::getCalleeStackFrame(unsigned BlockCount) const { in getCalleeStackFrame() 194 *CallEvent::getParameterLocation(unsigned Index, unsigned BlockCount) const { in getParameterLocation() 223 const CallEvent &Call) { in findPtrToConstParams() [all …]
|