| /freebsd-12-stable/contrib/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 | StreamChecker.cpp | 163 const CallEvent &, CheckerContext &)>; 176 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) { in getStreamArg() 223 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 224 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 228 const CallEvent *Call, 280 void evalFopen(const FnDescription *Desc, const CallEvent &Call, 283 void preFreopen(const FnDescription *Desc, const CallEvent &Call, 285 void evalFreopen(const FnDescription *Desc, const CallEvent &Call, 288 void evalFclose(const FnDescription *Desc, const CallEvent &Call, 291 void preFread(const FnDescription *Desc, const CallEvent &Call, [all …]
|
| D | SmartPtrModeling.cpp | 46 bool isBoolConversionMethod(const CallEvent &Call) const; 51 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 52 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 59 const LocationContext *LCtx, const CallEvent *Call) const; 65 void handleReset(const CallEvent &Call, CheckerContext &C) const; 66 void handleRelease(const CallEvent &Call, CheckerContext &C) const; 67 void handleSwapMethod(const CallEvent &Call, CheckerContext &C) const; 68 void handleGet(const CallEvent &Call, CheckerContext &C) const; 69 bool handleAssignOp(const CallEvent &Call, CheckerContext &C) const; 70 bool handleMoveCtr(const CallEvent &Call, CheckerContext &C, [all …]
|
| D | GenericTaintChecker.cpp | 48 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 49 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 114 static Optional<FunctionData> create(const CallEvent &Call, in create() 143 bool checkPre(const CallEvent &Call, const FunctionData &FData, 147 bool addSourcesPre(const CallEvent &Call, const FunctionData &FData, 152 bool addFiltersPre(const CallEvent &Call, const FunctionData &FData, 156 static bool propagateFromPre(const CallEvent &Call, CheckerContext &C); 169 bool checkUncontrolledFormatString(const CallEvent &Call, 178 bool checkSystemCall(const CallEvent &Call, StringRef Name, 187 bool checkTaintedBufferSize(const CallEvent &Call, CheckerContext &C) const; [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 | 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()
|
| 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 | 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 | 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()
|
| 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()
|
| 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()
|
| 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()
|
| 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()
|
| D | CallAndMessageChecker.cpp | 88 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 98 ProgramStateRef checkParameterCount(const CallEvent &Call, CheckerContext &C, 105 ProgramStateRef checkArgInitializedness(const CallEvent &Call, 112 bool CheckUninitFields, const CallEvent &Call, 152 static void describeUninitializedArgumentInCall(const CallEvent &Call, in describeUninitializedArgumentInCall() 285 const CallEvent &Call, in PreVisitProcessArg() 408 const CallEvent &Call, CheckerContext &C, ProgramStateRef State) const { in checkParameterCount() 511 const CallEvent &Call, CheckerContext &C, ProgramStateRef State) const { in checkArgInitializedness() 541 void CallAndMessageChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
|
| /freebsd-12-stable/contrib/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); 645 const CallEvent *Call); 654 const CallEvent *Call, 673 const CallEvent *Call = nullptr) const; 705 ProgramStateRef bindReturnValue(const CallEvent &Call, 712 const CallEvent &Call); 716 const CallEvent &Call, 750 const CallEvent &Call); 752 const CallEvent &Call); [all …]
|
| /freebsd-12-stable/contrib/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;
|
| 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-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 71 QualType CallEvent::getResultType() const { in getResultType() 132 bool CallEvent::hasNonNullArgumentsWithType(bool (*Condition)(QualType)) const { in hasNonNullArgumentsWithType() 142 for (CallEvent::param_type_iterator I = param_type_begin(), in hasNonNullArgumentsWithType() 155 bool CallEvent::hasNonZeroCallbackArg() const { in hasNonZeroCallbackArg() 159 bool CallEvent::hasVoidPointerToNonConstArg() const { in hasVoidPointerToNonConstArg() 163 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { in isGlobalCFunction() 171 AnalysisDeclContext *CallEvent::getCalleeAnalysisDeclContext() const { in getCalleeAnalysisDeclContext() 183 CallEvent::getCalleeStackFrame(unsigned BlockCount) const { in getCalleeStackFrame() 213 *CallEvent::getParameterLocation(unsigned Index, unsigned BlockCount) const { in getParameterLocation() 242 const CallEvent &Call) { in findPtrToConstParams() [all …]
|
| 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() 526 const CallEvent &Call) { in finishArgumentConstruction() 552 const CallEvent &Call) { in finishArgumentConstruction() 570 const CallEvent &Call) { in evalCall() 637 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue() 723 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall() 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() [all …]
|
| /freebsd-12-stable/contrib/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 …]
|