| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.h | 28 namespace ento {
60 void checkDoubleNonblocking(const clang::ento::CallEvent &PreCallEvent,
61 clang::ento::CheckerContext &Ctx) const;
69 void checkUnmatchedWaits(const clang::ento::CallEvent &PreCallEvent,
70 clang::ento::CheckerContext &Ctx) const;
75 void checkMissingWaits(clang::ento::SymbolReaper &SymReaper,
76 clang::ento::CheckerContext &Ctx) const;
88 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
89 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
90 clang::ento::CheckerContext &Ctx) const;
[all …]
|
| D | MPITypes.h | 25 namespace ento {
50 typedef llvm::ImmutableMap<const clang::ento::MemRegion *,
51 clang::ento::mpi::Request>
|
| D | MPIBugReporter.cpp | 21 namespace ento { namespace
25 const CallEvent &MPICallEvent, const ento::mpi::Request &Req, in reportDoubleNonblocking()
51 const ento::mpi::Request &Req, const MemRegion *const RequestRegion, in reportMissingWait()
71 const CallEvent &CE, const clang::ento::MemRegion *const RequestRegion, in reportUnmatchedWait()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState_Fwd.h | 17 namespace ento {
26 template <> struct IntrusiveRefCntPtrInfo<const clang::ento::ProgramState> {
27 static void retain(const clang::ento::ProgramState *state) {
28 clang::ento::ProgramStateRetain(state);
30 static void release(const clang::ento::ProgramState *state) {
31 clang::ento::ProgramStateRelease(state);
37 namespace ento {
|
| D | ExplodedGraph.h | 42 namespace ento {
453 template<> struct GraphTraits<clang::ento::ExplodedNode*> {
454 typedef clang::ento::ExplodedNode NodeType;
479 template<> struct GraphTraits<const clang::ento::ExplodedNode*> {
480 typedef const clang::ento::ExplodedNode NodeType;
|
| D | SVals.h | 31 namespace ento {
371 friend class ento::SValBuilder;
413 friend class ento::SValBuilder;
439 friend class ento::SValBuilder;
567 clang::ento::SVal V) {
573 template <> struct isPodLike<clang::ento::SVal> {
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DebugCheckers.cpp | 28 using namespace ento;
48 void ento::registerDominatorsTreeDumper(CheckerManager &mgr) { in registerDominatorsTreeDumper()
68 void ento::registerLiveVariablesDumper(CheckerManager &mgr) { in registerLiveVariablesDumper()
88 void ento::registerCFGViewer(CheckerManager &mgr) { in registerCFGViewer()
114 void ento::registerCFGDumper(CheckerManager &mgr) { in registerCFGDumper()
134 void ento::registerCallGraphViewer(CheckerManager &mgr) { in registerCallGraphViewer()
154 void ento::registerCallGraphDumper(CheckerManager &mgr) { in registerCallGraphDumper()
193 void ento::registerConfigDumper(CheckerManager &mgr) { in registerConfigDumper()
212 void ento::registerExplodedGraphViewer(CheckerManager &mgr) { in registerExplodedGraphViewer()
245 void ento::registerBugHashDumper(CheckerManager &mgr) { in registerBugHashDumper()
|
| D | TraversalChecker.cpp | 24 using namespace ento;
63 void ento::registerTraversalDumper(CheckerManager &mgr) { in registerTraversalDumper()
111 void ento::registerCallDumper(CheckerManager &mgr) { in registerCallDumper()
|
| D | ClangCheckers.cpp | 24 using namespace ento;
26 void ento::registerBuiltinCheckers(CheckerRegistry ®istry) { in registerBuiltinCheckers()
|
| D | TaintTesterChecker.cpp | 20 using namespace ento;
60 void ento::registerTaintTesterChecker(CheckerManager &mgr) { in registerTaintTesterChecker()
|
| D | NSAutoreleasePoolChecker.cpp | 30 using namespace ento;
78 void ento::registerNSAutoreleasePoolChecker(CheckerManager &mgr) { in registerNSAutoreleasePoolChecker()
|
| D | FixedAddressChecker.cpp | 23 using namespace ento;
66 void ento::registerFixedAddressChecker(CheckerManager &mgr) { in registerFixedAddressChecker()
|
| D | UndefinedArraySubscriptChecker.cpp | 23 using namespace ento;
62 void ento::registerUndefinedArraySubscriptChecker(CheckerManager &mgr) { in registerUndefinedArraySubscriptChecker()
|
| D | DirectIvarAssignment.cpp | 34 using namespace ento;
211 void ento::registerDirectIvarAssignment(CheckerManager &mgr) { in registerDirectIvarAssignment()
224 void ento::registerDirectIvarAssignmentForAnnotatedFunctions( in registerDirectIvarAssignmentForAnnotatedFunctions()
|
| D | CastToStructChecker.cpp | 23 using namespace ento;
73 void ento::registerCastToStructChecker(CheckerManager &mgr) { in registerCastToStructChecker()
|
| D | PointerSubChecker.cpp | 23 using namespace ento;
75 void ento::registerPointerSubChecker(CheckerManager &mgr) { in registerPointerSubChecker()
|
| D | ArrayBoundChecker.cpp | 23 using namespace ento;
91 void ento::registerArrayBoundChecker(CheckerManager &mgr) { in registerArrayBoundChecker()
|
| D | CheckSizeofPointer.cpp | 22 using namespace ento;
91 void ento::registerSizeofPointerChecker(CheckerManager &mgr) { in registerSizeofPointerChecker()
|
| D | ReturnPointerRangeChecker.cpp | 23 using namespace ento;
90 void ento::registerReturnPointerRangeChecker(CheckerManager &mgr) { in registerReturnPointerRangeChecker()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerHelpers.cpp | 19 bool clang::ento::containsMacro(const Stmt *S) { in containsMacro()
34 bool clang::ento::containsEnum(const Stmt *S) { in containsEnum()
48 bool clang::ento::containsStaticLocal(const Stmt *S) { in containsStaticLocal()
64 bool clang::ento::containsBuiltinOffsetOf(const Stmt *S) { in containsBuiltinOffsetOf()
77 clang::ento::parseAssignment(const Stmt *S) { in parseAssignment()
|
| D | Checker.cpp | 18 using namespace ento;
34 raw_ostream& clang::ento::operator<<(raw_ostream &Out, in operator <<()
|
| D | LoopWidening.cpp | 20 using namespace ento;
37 namespace ento { namespace
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 38 namespace ento {
318 template<> struct ilist_traits<clang::ento::BugReport>
319 : public ilist_default_traits<clang::ento::BugReport> {
320 clang::ento::BugReport *createSentinel() const {
321 return static_cast<clang::ento::BugReport *>(&Sentinel);
323 void destroySentinel(clang::ento::BugReport *) const {}
325 clang::ento::BugReport *provideInitialHead() const {
328 clang::ento::BugReport *ensureHead(clang::ento::BugReport *) const {
332 mutable ilist_half_node<clang::ento::BugReport> Sentinel;
337 namespace ento {
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | AnalyzerOptions.h | 31 namespace ento {
310 const ento::CheckerBase *C = nullptr,
328 const ento::CheckerBase *C = nullptr,
345 const ento::CheckerBase *C = nullptr,
362 const ento::CheckerBase *C = nullptr,
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| D | CheckerRegistration.cpp | 30 using namespace ento;
105 ento::createCheckerManager(AnalyzerOptions &opts, const LangOptions &langOpts, in createCheckerManager()
134 void ento::printCheckerHelp(raw_ostream &out, ArrayRef<std::string> plugins) { in printCheckerHelp()
|