| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| 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 &)>; 86 const CallEvent &Call) { in evalSetErrno() 92 const CallEvent &Call) { in evalGetErrno() 104 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, 176 void InitAnyLock(const CallEvent &Call, CheckerContext &C, 178 void InitLockAux(const CallEvent &Call, CheckerContext &C, 183 void AcquirePthreadLock(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, [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; 95 bool BlockInCriticalSectionChecker::isBlockingFunction(const CallEvent &Call) const { in isBlockingFunction() 99 bool BlockInCriticalSectionChecker::isLockFunction(const CallEvent &Call) const { in isLockFunction() 110 bool BlockInCriticalSectionChecker::isUnlockFunction(const CallEvent &Call) const { in isUnlockFunction() 121 void BlockInCriticalSectionChecker::checkPostCall(const CallEvent &Call, in checkPostCall() 145 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 | StreamChecker.cpp | 166 const CallEvent &, CheckerContext &)>; 179 SVal getStreamArg(const FnDescription *Desc, const CallEvent &Call) { in getStreamArg() 225 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 226 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 230 const CallEvent *Call, 289 void evalFopen(const FnDescription *Desc, const CallEvent &Call, 292 void preFreopen(const FnDescription *Desc, const CallEvent &Call, 294 void evalFreopen(const FnDescription *Desc, const CallEvent &Call, 297 void evalFclose(const FnDescription *Desc, const CallEvent &Call, 300 void preFread(const FnDescription *Desc, const CallEvent &Call, [all …]
|
| 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 | 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 | 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 | 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 | MallocChecker.cpp | 287 static bool isStandardNewDelete(const CallEvent &Call) { in isStandardNewDelete() 333 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 334 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 348 const CallEvent *Call, 352 const CallEvent *Call, 370 void NAME(const CallEvent &Call, CheckerContext &C) const; 388 void checkRealloc(const CallEvent &Call, CheckerContext &C, 392 const CallEvent &Call, CheckerContext &C)>; 401 bool isFreeingCall(const CallEvent &Call) const; 444 bool isMemCall(const CallEvent &Call) const; [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()
|
| H A D | VforkChecker.cpp | 63 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 64 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 145 void VforkChecker::checkPostCall(const CallEvent &Call, in checkPostCall() 186 void VforkChecker::checkPreCall(const CallEvent &Call, in checkPreCall()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 79 class CallEvent; variable 81 template<typename T = CallEvent> 149 class CallEvent { 179 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function 182 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) in CallEvent() function 186 CallEvent(const CallEvent &Original) in CallEvent() function 206 CallEvent &operator=(const CallEvent &) = delete; 207 virtual ~CallEvent() = default; 376 return cloneWithState<CallEvent>(NewState); in cloneWithState() 484 class AnyFunctionCall : public CallEvent { [all …]
|
| H A D | CallDescription.h | 44 friend class CallEvent; variable 99 bool matches(const CallEvent &Call) const; 106 friend bool matchesAny(const CallEvent &Call, const CallDescription &CD1) { in matchesAny() 112 friend bool matchesAny(const CallEvent &Call, const CallDescription &CD1, in matchesAny() 192 [[nodiscard]] const T *lookup(const CallEvent &Call) const { in lookup() 237 [[nodiscard]] bool contains(const CallEvent &Call) const;
|
| H A D | ExprEngine.h | 81 class CallEvent; variable 404 const CallEvent *Call); 648 const CallEvent *Call); 657 const CallEvent *Call, 676 const CallEvent *Call = nullptr) const; 708 ProgramStateRef bindReturnValue(const CallEvent &Call, 715 const CallEvent &Call); 719 const CallEvent &Call, 767 const CallEvent &Call); 769 const CallEvent &Call); [all …]
|
| /openbsd-src/gnu/llvm/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()
|
| /openbsd-src/gnu/llvm/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 …]
|
| /openbsd-src/gnu/llvm/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, 74 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 94 void InvalidPtrChecker::EnvpInvalidatingCall(const CallEvent &Call, in REGISTER_SET_WITH_PROGRAMSTATE() 117 const CallEvent &Call, CheckerContext &C) const { in postPreviousReturnInvalidatingCall() 186 void InvalidPtrChecker::checkPostCall(const CallEvent &Call, in checkPostCall()
|
| /openbsd-src/gnu/llvm/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 …]
|