| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CastValueChecker.cpp | 53 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 77 void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV, 89 void evalIsa(const CallEvent &Call, DefinedOrUnknownSVal DV, 258 static void addInstanceOfTransition(const CallEvent &Call, in addInstanceOfTransition() 348 static void evalNonNullParamNullReturn(const CallEvent &Call, in evalNonNullParamNullReturn() 355 static void evalNullParamNullReturn(const CallEvent &Call, in evalNullParamNullReturn() 371 void CastValueChecker::evalDynCast(const CallEvent &Call, in evalDynCast() 378 void CastValueChecker::evalCastOrNull(const CallEvent &Call, in evalCastOrNull() 405 static void evalZeroParamNullReturn(const CallEvent &Call, in evalZeroParamNullReturn() 412 void CastValueChecker::evalCastAs(const CallEvent &Call, in evalCastAs() [all …]
|
| H A D | PthreadLockChecker.cpp | 175 void InitAnyLock(const CallEvent &Call, CheckerContext &C, 177 void InitLockAux(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, 199 void ReleaseAnyLock(const CallEvent &Call, CheckerContext &C, 258 void PthreadLockChecker::checkPostCall(const CallEvent &Call, in REGISTER_LIST_WITH_PROGRAMSTATE() [all …]
|
| H A 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()
|
| H A 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()
|
| H A D | StreamChecker.cpp | 224 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 228 const CallEvent *Call, 280 void evalFopen(const FnDescription *Desc, const CallEvent &Call, 291 void preFread(const FnDescription *Desc, const CallEvent &Call, 294 void preFwrite(const FnDescription *Desc, const CallEvent &Call, 300 void preFseek(const FnDescription *Desc, const CallEvent &Call, 365 const FnDescription *lookupFn(const CallEvent &Call) const { in lookupFn() 457 void StreamChecker::checkPreCall(const CallEvent &Call, in checkPreCall() 520 const CallEvent &Call, in evalFreopen() 773 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 | SmartPtrModeling.cpp | 46 bool isBoolConversionMethod(const CallEvent &Call) const; 51 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 70 bool handleMoveCtr(const CallEvent &Call, CheckerContext &C, 129 bool isStdSmartPtrCall(const CallEvent &Call) { in isStdSmartPtrCall() 251 static bool isStdFunctionCall(const CallEvent &Call) { in isStdFunctionCall() 255 bool isStdOstreamOperatorCall(const CallEvent &Call) { in isStdOstreamOperatorCall() 278 bool SmartPtrModeling::evalCall(const CallEvent &Call, in evalCall() 577 const CallEvent *Call) const { in checkRegionChanges() 599 void SmartPtrModeling::handleReset(const CallEvent &Call, in handleReset() 629 void SmartPtrModeling::handleRelease(const CallEvent &Call, in handleRelease() [all …]
|
| H A 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()
|
| H A D | GenericTaintChecker.cpp | 114 static Optional<FunctionData> create(const CallEvent &Call, in create() 143 bool checkPre(const CallEvent &Call, const FunctionData &FData, 169 bool checkUncontrolledFormatString(const CallEvent &Call, 178 bool checkSystemCall(const CallEvent &Call, StringRef Name, 527 void GenericTaintChecker::checkPreCall(const CallEvent &Call, in checkPreCall() 546 void GenericTaintChecker::checkPostCall(const CallEvent &Call, in checkPostCall() 558 bool GenericTaintChecker::addSourcesPre(const CallEvent &Call, in addSourcesPre() 574 bool GenericTaintChecker::addFiltersPre(const CallEvent &Call, in addFiltersPre() 639 bool GenericTaintChecker::checkPre(const CallEvent &Call, in checkPre() 793 static bool getPrintfFormatArgumentNum(const CallEvent &Call, in getPrintfFormatArgumentNum() [all …]
|
| H A D | InnerPointerChecker.cpp | 92 bool isInvalidatingMemberFunction(const CallEvent &Call) const; 95 bool isInnerPointerAccessFunction(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() 138 const CallEvent &Call) const { in isInnerPointerAccessFunction() 143 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, in markPtrSymbolsReleased() 160 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call, in checkFunctionArguments() 209 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 | MallocChecker.cpp | 276 static bool isStandardNewDelete(const CallEvent &Call) { in isStandardNewDelete() 388 bool isFreeingCall(const CallEvent &Call) const; 428 bool isMemCall(const CallEvent &Call) const; 1037 static bool isStandardRealloc(const CallEvent &Call) { in isStandardRealloc() 1051 static bool isGRealloc(const CallEvent &Call) { in isGRealloc() 1081 void MallocChecker::checkCalloc(const CallEvent &Call, in checkCalloc() 1100 void MallocChecker::checkAlloca(const CallEvent &Call, in checkAlloca() 1109 void MallocChecker::checkStrdup(const CallEvent &Call, in checkStrdup() 1191 void MallocChecker::checkGMemdup(const CallEvent &Call, in checkGMemdup() 2791 const CallEvent &Call, CheckerContext &C) const { in suppressDeallocationsInSuspiciousContexts() [all …]
|
| 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 | 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()
|
| H A D | VforkChecker.cpp | 61 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 62 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 143 void VforkChecker::checkPostCall(const CallEvent &Call, in checkPostCall() 183 void VforkChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
|
| H A D | ReturnValueChecker.cpp | 29 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 60 static std::string getName(const CallEvent &Call) { in getName() 84 void ReturnValueChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
|
| H A D | ObjCSuperDeallocChecker.cpp | 44 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 51 void diagnoseCallArguments(const CallEvent &CE, CheckerContext &C) const; 107 void ObjCSuperDeallocChecker::checkPreCall(const CallEvent &Call, in checkPreCall() 200 void ObjCSuperDeallocChecker::diagnoseCallArguments(const CallEvent &CE, in diagnoseCallArguments()
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 78 class CallEvent; variable 81 template<typename T = CallEvent> 143 class CallEvent { 179 CallEvent(const CallEvent &Original) in CallEvent() function 199 CallEvent &operator=(const CallEvent &) = delete; 200 virtual ~CallEvent() = default; 488 : CallEvent(E, St, LCtx) {} in AnyFunctionCall() 491 : CallEvent(D, St, LCtx) {} in AnyFunctionCall() 1239 friend CallEvent; variable 1329 friend class CallEvent; variable [all …]
|
| H A D | ExprEngine.h | 82 class CallEvent; variable 401 const CallEvent *Call); 645 const CallEvent *Call); 654 const CallEvent *Call, 705 ProgramStateRef bindReturnValue(const CallEvent &Call, 712 const CallEvent &Call); 716 const CallEvent &Call, 752 const CallEvent &Call); 783 CallInlinePolicy mayInlineCallKind(const CallEvent &Call, 808 bool shouldInlineCall(const CallEvent &Call, const Decl *D, [all …]
|
| /freebsd-13.1/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;
|
| H A D | MPIChecker.cpp | 25 void MPIChecker::checkDoubleNonblocking(const CallEvent &PreCallEvent, in checkDoubleNonblocking() 57 void MPIChecker::checkUnmatchedWaits(const CallEvent &PreCallEvent, in checkUnmatchedWaits() 135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { in topRegionUsedByWait() 148 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const { in allRegionsUsedByWait()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 71 QualType CallEvent::getResultType() const { in getResultType() 155 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg() 159 bool CallEvent::hasVoidPointerToNonConstArg() const { in hasVoidPointerToNonConstArg() 307 ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit, in getProgramPoint() 382 SVal CallEvent::getArgSVal(unsigned Index) const { in getArgSVal() 396 SVal CallEvent::getReturnValue() const { in getReturnValue() 405 void CallEvent::dump(raw_ostream &Out) const { in dump() 422 bool CallEvent::isCallStmt(const Stmt *S) { in isCallStmt() 457 bool CallEvent::isVariadic(const Decl *D) { in isVariadic() 560 CallEvent::getReturnValueUnderConstruction() const { in getReturnValueUnderConstruction() [all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 239 CallEvent::getDeclaredResultType(calleeCtx->getDecl()); in processCallExit() 431 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_MAP_WITH_PROGRAMSTATE() 552 const CallEvent &Call) { in finishArgumentConstruction() 570 const CallEvent &Call) { in evalCall() 637 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue() 733 ExprEngine::mayInlineCallKind(const CallEvent &Call, const ExplodedNode *Pred, in mayInlineCallKind() 908 if (CallEvent::isVariadic(CalleeADC->getDecl())) in mayInlineDecl() 961 bool ExprEngine::shouldInlineCall(const CallEvent &Call, const Decl *D, in shouldInlineCall() 1033 static bool isTrivialObjectAssignment(const CallEvent &Call) { in isTrivialObjectAssignment() 1048 const CallEvent &CallTemplate, in defaultEvalCall() [all …]
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A 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 …]
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | PutenvWithAutoChecker.cpp | 35 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 39 void PutenvWithAutoChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
|