Home
last modified time | relevance | path

Searched refs:ento (Results 1 – 25 of 184) sorted by relevance

12345678

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState_Fwd.h17 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 {
DExplodedGraph.h41 namespace ento {
443 template<> struct GraphTraits<clang::ento::ExplodedNode*> {
444 typedef clang::ento::ExplodedNode NodeType;
469 template<> struct GraphTraits<const clang::ento::ExplodedNode*> {
470 typedef const clang::ento::ExplodedNode NodeType;
DSVals.h29 namespace ento {
369 friend class ento::SValBuilder;
411 friend class ento::SValBuilder;
437 friend class ento::SValBuilder;
562 clang::ento::SVal V) {
568 template <> struct isPodLike<clang::ento::SVal> {
/external/clang/lib/StaticAnalyzer/Checkers/
DDebugCheckers.cpp28 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()
DTraversalChecker.cpp24 using namespace ento;
57 void ento::registerTraversalDumper(CheckerManager &mgr) { in registerTraversalDumper()
105 void ento::registerCallDumper(CheckerManager &mgr) { in registerCallDumper()
DClangCheckers.cpp24 using namespace ento;
26 void ento::registerBuiltinCheckers(CheckerRegistry &registry) { in registerBuiltinCheckers()
DTaintTesterChecker.cpp20 using namespace ento;
60 void ento::registerTaintTesterChecker(CheckerManager &mgr) { in registerTaintTesterChecker()
DNSAutoreleasePoolChecker.cpp30 using namespace ento;
78 void ento::registerNSAutoreleasePoolChecker(CheckerManager &mgr) { in registerNSAutoreleasePoolChecker()
DFixedAddressChecker.cpp23 using namespace ento;
66 void ento::registerFixedAddressChecker(CheckerManager &mgr) { in registerFixedAddressChecker()
DUndefinedArraySubscriptChecker.cpp23 using namespace ento;
62 void ento::registerUndefinedArraySubscriptChecker(CheckerManager &mgr) { in registerUndefinedArraySubscriptChecker()
DPointerArithChecker.cpp22 using namespace ento;
68 void ento::registerPointerArithChecker(CheckerManager &mgr) { in registerPointerArithChecker()
DCastToStructChecker.cpp23 using namespace ento;
73 void ento::registerCastToStructChecker(CheckerManager &mgr) { in registerCastToStructChecker()
DPointerSubChecker.cpp23 using namespace ento;
75 void ento::registerPointerSubChecker(CheckerManager &mgr) { in registerPointerSubChecker()
DArrayBoundChecker.cpp23 using namespace ento;
91 void ento::registerArrayBoundChecker(CheckerManager &mgr) { in registerArrayBoundChecker()
DDirectIvarAssignment.cpp34 using namespace ento;
212 void ento::registerDirectIvarAssignment(CheckerManager &mgr) { in registerDirectIvarAssignment()
225 void ento::registerDirectIvarAssignmentForAnnotatedFunctions( in registerDirectIvarAssignmentForAnnotatedFunctions()
DReturnPointerRangeChecker.cpp23 using namespace ento;
90 void ento::registerReturnPointerRangeChecker(CheckerManager &mgr) { in registerReturnPointerRangeChecker()
DCheckSizeofPointer.cpp22 using namespace ento;
91 void ento::registerSizeofPointerChecker(CheckerManager &mgr) { in registerSizeofPointerChecker()
DObjCAtSyncChecker.cpp24 using namespace ento;
91 void ento::registerObjCAtSyncChecker(CheckerManager &mgr) { in registerObjCAtSyncChecker()
DUndefinedAssignmentChecker.cpp22 using namespace ento;
94 void ento::registerUndefinedAssignmentChecker(CheckerManager &mgr) { in registerUndefinedAssignmentChecker()
/external/clang/lib/StaticAnalyzer/Core/
DCheckerHelpers.cpp19 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()
DChecker.cpp18 using namespace ento;
34 raw_ostream& clang::ento::operator<<(raw_ostream &Out, in operator <<()
DLoopWidening.cpp20 using namespace ento;
37 namespace ento { namespace
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporter.h38 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/
DAnalyzerOptions.h31 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/
DCheckerRegistration.cpp30 using namespace ento;
108 ento::createCheckerManager(AnalyzerOptions &opts, const LangOptions &langOpts, in createCheckerManager()
137 void ento::printCheckerHelp(raw_ostream &out, ArrayRef<std::string> plugins) { in printCheckerHelp()

12345678