| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.h | 27 namespace ento {
59 clang::ento::CheckerContext &Ctx) const;
66 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
67 clang::ento::CheckerContext &Ctx) const;
72 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
73 clang::ento::CheckerContext &Ctx) const;
85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
87 clang::ento::CheckerContext &Ctx) const;
93 const clang::ento::MemRegion *
[all …]
|
| H A D | MPITypes.h | 24 namespace ento {
49 typedef llvm::ImmutableMap<const clang::ento::MemRegion *,
50 clang::ento::mpi::Request>
|
| H A D | MPIBugReporter.cpp | 20 namespace ento { namespace
24 const CallEvent &MPICallEvent, const ento::mpi::Request &Req, in reportDoubleNonblocking()
50 const ento::mpi::Request &Req, const MemRegion *const RequestRegion, in reportMissingWait()
70 const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion, in reportUnmatchedWait()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugCheckers.cpp | 26 using namespace ento;
46 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
121 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
144 void ento::registerLiveExpressionsDumper(CheckerManager &mgr) { in registerLiveExpressionsDumper()
168 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
198 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
222 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
246 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
288 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
311 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
[all …]
|
| H A D | TraversalChecker.cpp | 23 using namespace ento;
63 void ento::registerTraversalDumper(CheckerManager &mgr) { in registerTraversalDumper()
67 bool ento::shouldRegisterTraversalDumper(const CheckerManager &mgr) { in shouldRegisterTraversalDumper()
115 void ento::registerCallDumper(CheckerManager &mgr) { in registerCallDumper()
119 bool ento::shouldRegisterCallDumper(const CheckerManager &mgr) { in shouldRegisterCallDumper()
|
| H A D | VirtualCallChecker.cpp | 26 using namespace ento;
204 void ento::registerVirtualCallModeling(CheckerManager &Mgr) { in registerVirtualCallModeling()
208 void ento::registerPureVirtualCallChecker(CheckerManager &Mgr) { in registerPureVirtualCallChecker()
215 void ento::registerVirtualCallChecker(CheckerManager &Mgr) { in registerVirtualCallChecker()
227 bool ento::shouldRegisterVirtualCallModeling(const CheckerManager &mgr) { in shouldRegisterVirtualCallModeling()
232 bool ento::shouldRegisterPureVirtualCallChecker(const CheckerManager &mgr) { in shouldRegisterPureVirtualCallChecker()
237 bool ento::shouldRegisterVirtualCallChecker(const CheckerManager &mgr) { in shouldRegisterVirtualCallChecker()
|
| H A D | ErrnoChecker.cpp | 27 using namespace ento;
135 Optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkLocation()
139 auto L = Loc.getAs<ento::Loc>(); in checkLocation()
209 Optional<ento::Loc> ErrnoLoc = getErrnoLoc(C.getState()); in checkPreCall()
222 Optional<ento::Loc> ErrnoLoc = getErrnoLoc(State); in checkRegionChanges()
240 void ento::registerErrnoChecker(CheckerManager &mgr) { in registerErrnoChecker()
247 bool ento::shouldRegisterErrnoChecker(const CheckerManager &mgr) { in shouldRegisterErrnoChecker()
|
| H A D | SmartPtrChecker.cpp | 29 using namespace ento;
51 namespace ento { namespace
100 void ento::registerSmartPtrChecker(CheckerManager &Mgr) { in registerSmartPtrChecker()
105 bool ento::shouldRegisterSmartPtrChecker(const CheckerManager &mgr) { in shouldRegisterSmartPtrChecker()
|
| H A D | TrustReturnsNonnullChecker.cpp | 21 using namespace ento;
54 void ento::registerTrustReturnsNonnullChecker(CheckerManager &Mgr) { in registerTrustReturnsNonnullChecker()
58 bool ento::shouldRegisterTrustReturnsNonnullChecker(const CheckerManager &mgr) { in shouldRegisterTrustReturnsNonnullChecker()
|
| H A D | TaintTesterChecker.cpp | 21 using namespace ento;
49 void ento::registerTaintTesterChecker(CheckerManager &mgr) { in registerTaintTesterChecker()
53 bool ento::shouldRegisterTaintTesterChecker(const CheckerManager &mgr) { in shouldRegisterTaintTesterChecker()
|
| H A D | FixedAddressChecker.cpp | 22 using namespace ento;
65 void ento::registerFixedAddressChecker(CheckerManager &mgr) { in registerFixedAddressChecker()
69 bool ento::shouldRegisterFixedAddressChecker(const CheckerManager &mgr) { in shouldRegisterFixedAddressChecker()
|
| H A D | NSErrorChecker.cpp | 29 using namespace ento;
322 void ento::registerNSOrCFErrorDerefChecker(CheckerManager &mgr) { in registerNSOrCFErrorDerefChecker()
326 bool ento::shouldRegisterNSOrCFErrorDerefChecker(const CheckerManager &mgr) { in shouldRegisterNSOrCFErrorDerefChecker()
330 void ento::registerNSErrorChecker(CheckerManager &mgr) { in registerNSErrorChecker()
337 bool ento::shouldRegisterNSErrorChecker(const CheckerManager &mgr) { in shouldRegisterNSErrorChecker()
341 void ento::registerCFErrorChecker(CheckerManager &mgr) { in registerCFErrorChecker()
348 bool ento::shouldRegisterCFErrorChecker(const CheckerManager &mgr) { in shouldRegisterCFErrorChecker()
|
| H A D | UndefinedArraySubscriptChecker.cpp | 22 using namespace ento;
61 void ento::registerUndefinedArraySubscriptChecker(CheckerManager &mgr) { in registerUndefinedArraySubscriptChecker()
65 bool ento::shouldRegisterUndefinedArraySubscriptChecker(const CheckerManager &mgr) { in shouldRegisterUndefinedArraySubscriptChecker()
|
| H A D | NSAutoreleasePoolChecker.cpp | 29 using namespace ento;
79 void ento::registerNSAutoreleasePoolChecker(CheckerManager &mgr) { in registerNSAutoreleasePoolChecker()
83 bool ento::shouldRegisterNSAutoreleasePoolChecker(const CheckerManager &mgr) { in shouldRegisterNSAutoreleasePoolChecker()
|
| H A D | PointerSubChecker.cpp | 22 using namespace ento;
73 void ento::registerPointerSubChecker(CheckerManager &mgr) { in registerPointerSubChecker()
77 bool ento::shouldRegisterPointerSubChecker(const CheckerManager &mgr) { in shouldRegisterPointerSubChecker()
|
| H A D | CheckSizeofPointer.cpp | 21 using namespace ento;
90 void ento::registerSizeofPointerChecker(CheckerManager &mgr) { in registerSizeofPointerChecker()
94 bool ento::shouldRegisterSizeofPointerChecker(const CheckerManager &mgr) { in shouldRegisterSizeofPointerChecker()
|
| H A D | ArrayBoundChecker.cpp | 23 using namespace ento;
91 void ento::registerArrayBoundChecker(CheckerManager &mgr) { in registerArrayBoundChecker()
95 bool ento::shouldRegisterArrayBoundChecker(const CheckerManager &mgr) { in shouldRegisterArrayBoundChecker()
|
| H A D | ObjCPropertyChecker.cpp | 22 using namespace ento;
78 void ento::registerObjCPropertyChecker(CheckerManager &Mgr) { in registerObjCPropertyChecker()
82 bool ento::shouldRegisterObjCPropertyChecker(const CheckerManager &mgr) { in shouldRegisterObjCPropertyChecker()
|
| H A D | MmapWriteExecChecker.cpp | 25 using namespace ento;
80 void ento::registerMmapWriteExecChecker(CheckerManager &mgr) { in registerMmapWriteExecChecker()
91 bool ento::shouldRegisterMmapWriteExecChecker(const CheckerManager &mgr) { in shouldRegisterMmapWriteExecChecker()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState_Fwd.h | 16 namespace ento {
25 template <> struct IntrusiveRefCntPtrInfo<const clang::ento::ProgramState> {
26 static void retain(const clang::ento::ProgramState *state) {
27 clang::ento::ProgramStateRetain(state);
29 static void release(const clang::ento::ProgramState *state) {
30 clang::ento::ProgramStateRelease(state);
36 namespace ento {
|
| H A D | SVals.h | 41 namespace ento {
210 inline raw_ostream &operator<<(raw_ostream &os, clang::ento::SVal V) {
346 friend class ento::SValBuilder;
378 friend class ento::SValBuilder;
403 friend class ento::SValBuilder;
443 friend class ento::SValBuilder;
563 std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value>>
564 : public CastIsPossible<To, ::clang::ento::SVal> {
567 std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value>>;
569 return To::classof(*static_cast<const ::clang::ento::SVal *>(&V));
[all …]
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallDescription.cpp | 38 ento::CallDescription::CallDescription(CallDescriptionFlags Flags, in CallDescription()
51 ento::CallDescription::CallDescription(ArrayRef<const char *> QualifiedName, in CallDescription()
56 bool ento::CallDescription::matches(const CallEvent &Call) const { in matches()
68 bool ento::CallDescription::matchesAsWritten(const CallExpr &CE) const { in matchesAsWritten()
76 bool ento::CallDescription::matchesImpl(const FunctionDecl *Callee, in matchesImpl()
155 ento::CallDescriptionSet::CallDescriptionSet( in CallDescriptionSet()
162 bool ento::CallDescriptionSet::contains(const CallEvent &Call) const { in contains()
166 bool ento::CallDescriptionSet::containsAsWritten(const CallExpr &CE) const { in containsAsWritten()
|
| H A D | DynamicType.cpp | 27 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *,
28 clang::ento::DynamicTypeInfo)
31 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(CastSet, clang::ento::DynamicCastInfo)
34 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
38 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicClassObjectMap, clang::ento::SymbolRef,
39 clang::ento::DynamicTypeInfo)
42 namespace ento { namespace
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalyzerHelpFlags.cpp | 26 using namespace ento;
28 void ento::printCheckerHelp(raw_ostream &out, CompilerInstance &CI) { in printCheckerHelp()
40 void ento::printEnabledCheckerList(raw_ostream &out, CompilerInstance &CI) { in printEnabledCheckerList()
50 void ento::printCheckerConfigList(raw_ostream &out, CompilerInstance &CI) { in printCheckerConfigList()
60 void ento::printAnalyzerConfigList(raw_ostream &out) { in printAnalyzerConfigList()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | PutenvWithAutoChecker.cpp | 26 using namespace ento;
63 void ento::registerPutenvWithAuto(CheckerManager &Mgr) { in registerPutenvWithAuto()
67 bool ento::shouldRegisterPutenvWithAuto(const CheckerManager &) { return true; } in shouldRegisterPutenvWithAuto()
|