| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoTesterChecker.cpp | 29 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 34 static void evalSetErrno(CheckerContext &C, const CallEvent &Call); 37 static void evalGetErrno(CheckerContext &C, const CallEvent &Call); 43 static void evalSetErrnoIfError(CheckerContext &C, const CallEvent &Call); 48 const CallEvent &Call); 70 using EvalFn = std::function<void(CheckerContext &, const CallEvent &)>; 85 const CallEvent &Call) { in evalSetErrno() 91 const CallEvent &Call) { in evalGetErrno() 103 const CallEvent &Call) { in evalSetErrnoIfError() 142 const CallEvent &Call) { in evalSetErrnoCheckState() [all …]
|
| H A D | CastValueChecker.cpp | 54 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 78 void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV, 90 void evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV, 259 static void addInstanceOfTransition(const CallEvent &Call, in addInstanceOfTransition() 349 static void evalNonNullParamNullReturn(const CallEvent &Call, in evalNonNullParamNullReturn() 356 static void evalNullParamNullReturn(const CallEvent &Call, in evalNullParamNullReturn() 374 void CastValueChecker::evalDynCast(const CallEvent &Call, in evalDynCast() 381 void CastValueChecker::evalCastOrNull(const CallEvent &Call, in evalCastOrNull() 408 static void evalZeroParamNullReturn(const CallEvent &Call, in evalZeroParamNullReturn() 415 void CastValueChecker::evalCastAs(const CallEvent &Call, in evalCastAs() [all …]
|
| H A D | PthreadLockChecker.cpp | 176 void InitAnyLock(const CallEvent &Call, CheckerContext &C, 178 void InitLockAux(const CallEvent &Call, CheckerContext &C, 185 void AcquireXNULock(const CallEvent &Call, CheckerContext &C, 187 void TryPthreadLock(const CallEvent &Call, CheckerContext &C, 189 void TryXNULock(const CallEvent &Call, CheckerContext &C, 191 void TryFuchsiaLock(const CallEvent &Call, CheckerContext &C, 193 void TryC11Lock(const CallEvent &Call, CheckerContext &C, 195 void AcquireLockAux(const CallEvent &Call, CheckerContext &C, 200 void ReleaseAnyLock(const CallEvent &Call, CheckerContext &C, 259 void PthreadLockChecker::checkPostCall(const CallEvent &Call, in REGISTER_LIST_WITH_PROGRAMSTATE() [all …]
|
| H A D | BlockInCriticalSectionChecker.cpp | 46 const CallEvent &call, 52 bool isBlockingFunction(const CallEvent &Call) const; 53 bool isLockFunction(const CallEvent &Call) const; 54 bool isUnlockFunction(const CallEvent &Call) const; 59 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 99 bool BlockInCriticalSectionChecker::isBlockingFunction(const CallEvent &Call) const { in isBlockingFunction() 103 bool BlockInCriticalSectionChecker::isLockFunction(const CallEvent &Call) const { in isLockFunction() 114 bool BlockInCriticalSectionChecker::isUnlockFunction(const CallEvent &Call) const { in isUnlockFunction() 125 void BlockInCriticalSectionChecker::checkPostCall(const CallEvent &Call, in checkPostCall() 149 SymbolRef BlockDescSym, const CallEvent &Call, CheckerContext &C) const { in reportBlockInCritSection()
|
| H A D | ChrootChecker.cpp | 56 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 57 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 60 void evalChroot(const CallEvent &Call, CheckerContext &C) const; 61 void evalChdir(const CallEvent &Call, CheckerContext &C) const; 66 bool ChrootChecker::evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall() 79 void ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const { in evalChroot() 89 void ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const { in evalChdir() 116 void ChrootChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
|
| H A 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, 104 void SimpleStreamChecker::checkPostCall(const CallEvent &Call, in checkPostCall() 123 void SimpleStreamChecker::checkPreCall(const CallEvent &Call, in checkPreCall() 187 const CallEvent &Call, in reportDoubleClose() 217 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent &Call) const{ in guaranteedNotToCloseFile() 237 const CallEvent *Call, in checkPointerEscape()
|
| H A D | SmartPtrModeling.cpp | 47 bool isBoolConversionMethod(const CallEvent &Call) const; 52 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 70 bool handleMoveCtr(const CallEvent &Call, CheckerContext &C, 74 const CallEvent &Call) const; 126 bool isStdSmartPtrCall(const CallEvent &Call) { in isStdSmartPtrCall() 248 static bool isStdFunctionCall(const CallEvent &Call) { in isStdFunctionCall() 252 bool isStdOstreamOperatorCall(const CallEvent &Call) { in isStdOstreamOperatorCall() 275 bool SmartPtrModeling::evalCall(const CallEvent &Call, in evalCall() 575 const CallEvent *Call) const { in checkRegionChanges() 597 void SmartPtrModeling::handleReset(const CallEvent &Call, in handleReset() [all …]
|
| H A D | StreamChecker.cpp | 225 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 229 const CallEvent *Call, 281 void evalFopen(const FnDescription *Desc, const CallEvent &Call, 292 void preFread(const FnDescription *Desc, const CallEvent &Call, 295 void preFwrite(const FnDescription *Desc, const CallEvent &Call, 301 void preFseek(const FnDescription *Desc, const CallEvent &Call, 366 const FnDescription *lookupFn(const CallEvent &Call) const { in lookupFn() 458 void StreamChecker::checkPreCall(const CallEvent &Call, in checkPreCall() 521 const CallEvent &Call, in evalFreopen() 770 const CallEvent &Call, in evalClearerr() [all …]
|
| 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 | InnerPointerChecker.cpp | 93 bool isInvalidatingMemberFunction(const CallEvent &Call) const; 96 bool isInnerPointerAccessFunction(const CallEvent &Call) const; 100 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State, 107 void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State, 113 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 122 const CallEvent &Call) const { in isInvalidatingMemberFunction() 136 const CallEvent &Call) const { in isInnerPointerAccessFunction() 140 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased() 157 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call, in checkFunctionArguments() 206 void InnerPointerChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
|
| H A 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()
|
| 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 | 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 | ErrnoChecker.cpp | 37 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 43 const LocationContext *LCtx, const CallEvent *Call) const; 54 const CallEvent *CallMayChangeErrno) const; 112 const CallEvent *CallMayChangeErrno) const { in generateErrnoNotCheckedBug() 190 void ErrnoChecker::checkPreCall(const CallEvent &Call, in checkPreCall() 221 const CallEvent *Call) const { in checkRegionChanges()
|
| H A D | MallocChecker.cpp | 286 static bool isStandardNewDelete(const CallEvent &Call) { in isStandardNewDelete() 400 bool isFreeingCall(const CallEvent &Call) const; 443 bool isMemCall(const CallEvent &Call) const; 1249 static bool isStandardRealloc(const CallEvent &Call) { in isStandardRealloc() 1263 static bool isGRealloc(const CallEvent &Call) { in isGRealloc() 1293 void MallocChecker::checkCalloc(const CallEvent &Call, in checkCalloc() 1312 void MallocChecker::checkAlloca(const CallEvent &Call, in checkAlloca() 1321 void MallocChecker::checkStrdup(const CallEvent &Call, in checkStrdup() 1403 void MallocChecker::checkGMemdup(const CallEvent &Call, in checkGMemdup() 3007 const CallEvent &Call, CheckerContext &C) const { in suppressDeallocationsInSuspiciousContexts() [all …]
|
| H A D | AnalysisOrderChecker.cpp | 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() 202 const LocationContext *LCtx, const CallEvent *Call) const { in checkRegionChanges() 210 const CallEvent *Call, in checkPointerEscape()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | BugReportInterestingnessTest.cpp | 33 const CallEvent &, CheckerContext &)>; 43 void handleInteresting(const CallEvent &Call, CheckerContext &C) const; 44 void handleNotInteresting(const CallEvent &Call, CheckerContext &C) const; 45 void handleCheck(const CallEvent &Call, CheckerContext &C) const; 46 void handleBug(const CallEvent &Call, CheckerContext &C) const; 52 void checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall() 63 void InterestingnessTestChecker::handleInteresting(const CallEvent &Call, in handleInteresting() 73 void InterestingnessTestChecker::handleNotInteresting(const CallEvent &Call, in handleNotInteresting() 83 void InterestingnessTestChecker::handleCheck(const CallEvent &Call, in handleCheck() 95 void InterestingnessTestChecker::handleBug(const CallEvent &Call, in handleBug()
|
| H A D | FalsePositiveRefutationBRVisitorTest.cpp | 30 using HandlerFn = bool (Self::*)(const CallEvent &Call, 50 bool reachedWithNoContradiction(const CallEvent &, CheckerContext &C) const { in reachedWithNoContradiction() argument 54 bool reachedWithContradiction(const CallEvent &, CheckerContext &C) const { in reachedWithContradiction() argument 61 bool reportIfCanBeTrue(const CallEvent &Call, CheckerContext &C) const { in reportIfCanBeTrue() 81 bool evalCall(const CallEvent &Call, CheckerContext &C) const { in evalCall()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 78 class CallEvent; variable 80 template<typename T = CallEvent> 148 class CallEvent { 185 CallEvent(const CallEvent &Original) in CallEvent() function 205 CallEvent &operator=(const CallEvent &) = delete; 206 virtual ~CallEvent() = default; 487 : CallEvent(E, St, LCtx) {} in AnyFunctionCall() 490 : CallEvent(D, St, LCtx) {} in AnyFunctionCall() 561 : CallEvent(CE, St, LCtx) {} in BlockCall() 1235 friend class CallEvent; variable [all …]
|
| H A D | CallDescription.h | 44 friend class CallEvent; variable 100 bool matches(const CallEvent &Call) const; 107 friend bool matchesAny(const CallEvent &Call, const CallDescription &CD1) { in matchesAny() 113 friend bool matchesAny(const CallEvent &Call, const CallDescription &CD1, in matchesAny() 193 LLVM_NODISCARD const T *lookup(const CallEvent &Call) const { in lookup() 238 LLVM_NODISCARD bool contains(const CallEvent &Call) const;
|
| H A D | ExprEngine.h | 80 class CallEvent; variable 403 const CallEvent *Call); 642 const CallEvent *Call); 651 const CallEvent *Call, 702 ProgramStateRef bindReturnValue(const CallEvent &Call, 709 const CallEvent &Call); 713 const CallEvent &Call, 762 const CallEvent &Call); 793 CallInlinePolicy mayInlineCallKind(const CallEvent &Call, 818 bool shouldInlineCall(const CallEvent &Call, const Decl *D, [all …]
|
| /llvm-project-15.0.7/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;
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 72 QualType CallEvent::getResultType() const { in getResultType() 137 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg() 141 bool CallEvent::hasVoidPointerToNonConstArg() const { in hasVoidPointerToNonConstArg() 289 ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit, in getProgramPoint() 306 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() 320 SVal CallEvent::getReturnValue() const { in getReturnValue() 329 void CallEvent::dump(raw_ostream &Out) const { in dump() 345 bool CallEvent::isCallStmt(const Stmt *S) { in isCallStmt() 378 bool CallEvent::isVariadic(const Decl *D) { in isVariadic() 481 CallEvent::getReturnValueUnderConstruction() const { in getReturnValueUnderConstruction() [all …]
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 35 void EnvpInvalidatingCall(const CallEvent &Call, CheckerContext &C) const; 37 using HandlerFn = void (InvalidPtrChecker::*)(const CallEvent &Call, 49 void postPreviousReturnInvalidatingCall(const CallEvent &Call, 72 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 92 void InvalidPtrChecker::EnvpInvalidatingCall(const CallEvent &Call, in REGISTER_SET_WITH_PROGRAMSTATE() 115 const CallEvent &Call, CheckerContext &C) const { in postPreviousReturnInvalidatingCall() 184 void InvalidPtrChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 41 class CallEvent; variable 311 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall() 317 const CallEvent &Call, ExprEngine &Eng, 326 const CallEvent &Call, ExprEngine &Eng, 408 const CallEvent *Call); 428 const CallEvent *Call, 440 const CallEvent &CE, ExprEngine &Eng, 489 CheckerFn<void (const CallEvent &, CheckerContext &)>; 524 const CallEvent *Call)>; 529 const CallEvent *Call, PointerEscapeKind Kind, [all …]
|