/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | SmartPtrModeling.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 29 bool isNullAfterMoveMethod(const CallEvent &Call) const; 32 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 36 bool SmartPtrModeling::isNullAfterMoveMethod(const CallEvent &Call) const { 45 bool SmartPtrModeling::evalCall(const CallEvent &Call,
|
H A D | CastValueChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 37 std::function<void(const CastValueChecker *, const CallEvent &Call, 53 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 76 void evalCast(const CallEvent &Call, DefinedOrUnknownSVal DV, 78 void evalDynCast(const CallEvent &Call, DefinedOrUnknownSVal DV, 80 void evalCastOrNull(const CallEvent &Call, DefinedOrUnknownSVal DV, 82 void evalDynCastOrNull(const CallEvent &Call, DefinedOrUnknownSVal DV, 84 void evalCastAs(const CallEvent &Call, DefinedOrUnknownSVal DV, 86 void evalGetAs(const CallEvent &Call, DefinedOrUnknownSVal DV, 88 void evalIsa(const CallEvent [all...] |
H A D | ChrootChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 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 { 78 void ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const { 88 void ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const { 115 void ChrootChecker::checkPreCall(const CallEvent &Call,
|
H A D | BlockInCriticalSectionChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 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 { 109 bool BlockInCriticalSectionChecker::isLockFunction(const CallEvent &Call) const { 127 bool BlockInCriticalSectionChecker::isUnlockFunction(const CallEvent &Call) const { 143 void BlockInCriticalSectionChecker::checkPostCall(const CallEvent [all...] |
H A D | ReturnValueChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 29 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 60 static std::string getName(const CallEvent &Call) { 84 void ReturnValueChecker::checkPostCall(const CallEvent &Call,
|
H A D | CheckerDocumentation.cpp | 118 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} 124 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} 278 const CallEvent *Call) const { 291 /// \param Call The corresponding CallEvent, if the symbols escape as 297 const CallEvent *Call, 308 const CallEvent *Call,
|
H A D | SimpleStreamChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 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, 136 void SimpleStreamChecker::checkPreCall(const CallEvent &Call, 200 const CallEvent &Call, 230 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent [all...] |
H A D | TraversalChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 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 { 95 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
|
H A D | StreamChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 58 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 62 using FnCheck = std::function<void(const StreamChecker *, const CallEvent &, 93 void evalFopen(const CallEvent &Call, CheckerContext &C) const; 94 void evalFreopen(const CallEvent &Call, CheckerContext &C) const; 95 void evalFclose(const CallEvent &Call, CheckerContext &C) const; 96 void evalFseek(const CallEvent &Call, CheckerContext &C) const; 98 void checkArgNullStream(const CallEvent &Call, CheckerContext &C, 104 bool checkDoubleClose(const CallEvent &Call, CheckerContext &C, 113 bool StreamChecker::evalCall(const CallEvent [all...] |
H A D | InvalidatedIteratorChecker.cpp | 16 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 39 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 50 void InvalidatedIteratorChecker::checkPreCall(const CallEvent &Call,
|
H A D | AnalysisOrderChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 108 void checkPreCall(const CallEvent &Call, CheckerContext &C) const { 117 void checkPostCall(const CallEvent &Call, CheckerContext &C) const { 164 const LocationContext *LCtx, const CallEvent *Call) const { 172 const CallEvent *Call,
|
H A D | InnerPointerChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 91 bool isInvalidatingMemberFunction(const CallEvent &Call) const; 95 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State, 102 void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State, 108 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 117 const CallEvent &Call) const { 133 void InnerPointerChecker::markPtrSymbolsReleased(const CallEvent &Call, 150 void InnerPointerChecker::checkFunctionArguments(const CallEvent &Call, 194 void InnerPointerChecker::checkPostCall(const CallEvent &Call,
|
H A D | MmapWriteExecChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 37 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 47 void MmapWriteExecChecker::checkPreCall(const CallEvent &Call,
|
H A D | NoReturnFunctionChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 34 void checkPostCall(const CallEvent &CE, CheckerContext &C) const; 40 void NoReturnFunctionChecker::checkPostCall(const CallEvent &CE,
|
H A D | BuiltinFunctionChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 27 bool evalCall(const CallEvent &Call, CheckerContext &C) const; 32 bool BuiltinFunctionChecker::evalCall(const CallEvent &Call,
|
H A D | ObjCSuperDeallocChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 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, 199 void ObjCSuperDeallocChecker::diagnoseCallArguments(const CallEvent &CE,
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.h | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 35 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { 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 | MPIBugReporter.h | 42 void reportDoubleNonblocking(const CallEvent &MPICallEvent, 65 void reportUnmatchedWait(const CallEvent &CE,
|
H A D | MPIBugReporter.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 24 const CallEvent &MPICallEvent, const ento::mpi::Request &Req, 70 const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion,
|
H A D | MPIChecker.cpp | 24 void MPIChecker::checkDoubleNonblocking(const CallEvent &PreCallEvent, 56 void MPIChecker::checkUnmatchedWaits(const CallEvent &PreCallEvent, 134 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const { 147 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {
|
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls --*- C++ -*-===// 9 /// \file This file defines CallEvent and its subclasses, which represent path- 73 class CallEvent; 76 template<typename T = CallEvent> 135 /// CallEventManager to be able to re-use CallEvent-sized memory blocks, 136 /// subclasses of CallEvent may not add any data members to the base class. 138 class CallEvent { class in namespace:clang::ento 167 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) function in class:clang::ento::CallEvent 170 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) function in class:clang::ento::CallEvent 174 CallEvent(cons function in class:clang::ento::CallEvent [all...] |
H A D | ExprEngine.h | 76 class CallEvent; 377 const CallEvent *Call) override; 619 const CallEvent *Call) override; 633 const CallEvent *Call, 640 const CallEvent *Call = nullptr) const; 672 ProgramStateRef bindReturnValue(const CallEvent &Call, 679 const CallEvent &Call); 683 const CallEvent &Call, 688 const CallEvent &Call); 690 const CallEvent [all...] |
H A D | SubEngine.h | 142 const CallEvent *Call) = 0; 155 const CallEvent *Call) = 0; 161 const CallEvent *Call,
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | CallEvent.cpp | 1 //===- CallEvent.cpp - Wrapper for all function and method calls ----------===// 9 /// \file This file defines CallEvent and its subclasses, which represent path- 15 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 70 QualType CallEvent::getResultType() const { 131 bool CallEvent::hasNonNullArgumentsWithType(bool (*Condition)(QualType)) const { 141 for (CallEvent::param_type_iterator I = param_type_begin(), 154 bool CallEvent::hasNonZeroCallbackArg() const { 158 bool CallEvent::hasVoidPointerToNonConstArg() const { 162 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { 170 AnalysisDeclContext *CallEvent [all...] |
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 40 class CallEvent; 273 const CallEvent &Call, ExprEngine &Eng) { 279 const CallEvent &Call, ExprEngine &Eng, 288 const CallEvent &Call, ExprEngine &Eng, 372 const CallEvent *Call); 383 /// \param Call The corresponding CallEvent, if the symbols escape as 392 const CallEvent *Call, 402 /// Warning: Currently, the CallEvent MUST come from a CallExpr! 405 const CallEvent &CE, ExprEngine &Eng); 453 CheckerFn<void (const CallEvent [all...] |