/external/clang/lib/StaticAnalyzer/Core/ |
D | ExplodedGraph.cpp | 52 ExplodedGraph::ExplodedGraph() in ExplodedGraph() function in ExplodedGraph 55 ExplodedGraph::~ExplodedGraph() {} in ~ExplodedGraph() 61 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect() 127 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode() 143 void ExplodedGraph::reclaimRecentlyAllocatedNodes() { in reclaimRecentlyAllocatedNodes() 181 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor() 199 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode() 264 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode() 302 std::pair<ExplodedGraph*, InterExplodedGraphMap*> 303 ExplodedGraph::Trim(const NodeTy* const* NBeg, const NodeTy* const* NEnd, in Trim() [all …]
|
D | CMakeLists.txt | 20 ExplodedGraph.cpp
|
D | Android.mk | 28 ExplodedGraph.cpp \
|
D | BugReporter.cpp | 1565 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } in getGraph() 1621 static std::pair<std::pair<ExplodedGraph*, NodeBackMap*>, 1623 MakeReportGraph(const ExplodedGraph* G, in MakeReportGraph() 1630 ExplodedGraph* GTrim; in MakeReportGraph() 1639 OwningPtr<ExplodedGraph> AutoReleaseGTrim(GTrim); in MakeReportGraph() 1662 ExplodedGraph *GNew = new ExplodedGraph(); in MakeReportGraph() 1865 const std::pair<std::pair<ExplodedGraph*, NodeBackMap*>, in GeneratePathDiagnostic() 1874 OwningPtr<ExplodedGraph> ReportGraph(GPair.first.first); in GeneratePathDiagnostic()
|
D | CoreEngine.cpp | 276 for (ExplodedGraph::eop_iterator I = G->eop_begin(), in ExecuteWorkListWithInitialState()
|
D | CheckerManager.cpp | 347 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
|
D | ExprEngine.cpp | 2107 std::auto_ptr<ExplodedGraph> TrimmedG(G.Trim(Beg, End).first); in ViewGraph()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | ExplodedGraph.h | 43 class ExplodedGraph; variable 55 friend class ExplodedGraph; variable 95 void addNode(ExplodedNode *N, ExplodedGraph &G); 175 void addPredecessor(ExplodedNode *V, ExplodedGraph &G); 243 friend class ExplodedGraph; variable 252 class ExplodedGraph { 301 ExplodedGraph* MakeEmptyGraph() const { in MakeEmptyGraph() 302 return new ExplodedGraph(); in MakeEmptyGraph() 317 ExplodedGraph(); 319 ~ExplodedGraph(); [all …]
|
D | CoreEngine.h | 63 OwningPtr<ExplodedGraph> G; 109 : SubEng(subengine), G(new ExplodedGraph()), in CoreEngine() 115 ExplodedGraph& getGraph() { return *G.get(); } in getGraph() 119 ExplodedGraph* takeGraph() { return G.take(); } in takeGraph()
|
D | ExprEngine.h | 55 ExplodedGraph& G; 155 ExplodedGraph& getGraph() { return G; } in getGraph() 156 const ExplodedGraph& getGraph() const { return G; } in getGraph()
|
D | ProgramState.h | 81 friend class ExplodedGraph; variable
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | AnalyzerStatsChecker.cpp | 37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const; 41 void AnalyzerStatsChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis() 55 for (ExplodedGraph::node_iterator I = G.nodes_begin(); in checkEndAnalysis()
|
D | UnreachableCodeChecker.cpp | 39 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B, 53 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis() 66 for (ExplodedGraph::node_iterator I = G.nodes_begin(), E = G.nodes_end(); in checkEndAnalysis()
|
D | CheckerDocumentation.cpp | 170 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
D | IdempotentOperationChecker.cpp | 75 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const; 344 void IdempotentOperationChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
D | RetainCountChecker.cpp | 2397 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
|
/external/clang/lib/StaticAnalyzer/ |
D | README.txt | 25 node in an exploded graph (ExplodedGraph). The term "exploded" comes 29 ExplodedGraph. We start at a root node, which has the entry program 32 state to change, resulting in a new node in the ExplodedGraph with an 49 existing node. Thus the ExplodedGraph is not a DAG; it can contain 54 ProgramState. This immutability is key since the ExplodedGraph represents 116 third generates a graphviz dot file of the ExplodedGraph. This is
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
D | BugReporter.h | 40 class ExplodedGraph; variable 457 ExplodedGraph &getGraph(); 483 ExplodedGraph &getGraph() { return BR.getGraph(); }
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
D | CheckerManager.h | 41 class ExplodedGraph; variable 264 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, 380 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
|
D | Checker.h | 217 static void _checkEndAnalysis(void *checker, ExplodedGraph &G, in _checkEndAnalysis()
|
/external/clang/include/clang/Driver/ |
D | CC1Options.td | 71 HelpText<"Don't eagerly remove uninteresting ExplodedNodes from the ExplodedGraph">;
|
/external/clang/test/Analysis/ |
D | misc-ps.m | 863 // the ExplodedGraph (causing a false positive)
|