/external/clang/lib/StaticAnalyzer/Core/ |
D | ExplodedGraph.cpp | 50 ExplodedGraph::ExplodedGraph() in ExplodedGraph() function in ExplodedGraph 53 ExplodedGraph::~ExplodedGraph() {} in ~ExplodedGraph() 59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr() 67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect() 164 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode() 180 void ExplodedGraph::reclaimRecentlyAllocatedNodes() { in reclaimRecentlyAllocatedNodes() 218 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor() 236 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode() 301 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode() 339 std::unique_ptr<ExplodedGraph> [all …]
|
D | CMakeLists.txt | 23 ExplodedGraph.cpp
|
D | Android.mk | 32 ExplodedGraph.cpp \
|
D | BugReporter.cpp | 2737 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } in getGraph() 2795 std::unique_ptr<ExplodedGraph> Graph; 2810 std::unique_ptr<ExplodedGraph> G; 2840 TrimmedGraph(const ExplodedGraph *OriginalGraph, 2847 TrimmedGraph::TrimmedGraph(const ExplodedGraph *OriginalGraph, in TrimmedGraph() 2916 auto GNew = llvm::make_unique<ExplodedGraph>(); in popNextReportGraph()
|
D | CoreEngine.cpp | 277 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; in ExecuteWorkListWithInitialState()
|
D | BugReporterVisitors.cpp | 908 if (ExplodedGraph::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex)) in trackNullOrUndefValue() 946 if (Inner && ExplodedGraph::isInterestingLValueExpr(Inner)) { in trackNullOrUndefValue()
|
D | CheckerManager.cpp | 373 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
|
D | ExprEngine.cpp | 2739 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); 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); 176 void addPredecessor(ExplodedNode *V, ExplodedGraph &G); 247 class ExplodedGraph { 298 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph() 299 return llvm::make_unique<ExplodedGraph>(); in MakeEmptyGraph() 314 ExplodedGraph(); 316 ~ExplodedGraph(); 373 std::unique_ptr<ExplodedGraph>
|
D | ExprEngine.h | 66 ExplodedGraph& G; 159 ExplodedGraph& getGraph() { return G; } in getGraph() 160 const ExplodedGraph& getGraph() const { return G; } in getGraph()
|
D | CoreEngine.h | 63 mutable ExplodedGraph G; 118 ExplodedGraph &getGraph() { return G; } in getGraph()
|
D | ProgramState.h | 82 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 | 182 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
D | DebugCheckers.cpp | 205 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
|
D | RetainCountChecker.cpp | 2504 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 | 42 class ExplodedGraph; variable 503 ExplodedGraph &getGraph(); 536 ExplodedGraph &getGraph() { return BR.getGraph(); }
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
D | CheckerManager.h | 41 class ExplodedGraph; variable 287 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, 426 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
|
D | Checker.h | 228 static void _checkEndAnalysis(void *checker, ExplodedGraph &G, in _checkEndAnalysis()
|
/external/clang/test/Analysis/ |
D | misc-ps.m | 850 // the ExplodedGraph (causing a false positive)
|
/external/v8/third_party/llvm-build/Release+Asserts/ |
D | buildlog.txt | 1947 …ject tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/ExplodedGraph.cpp.o 3535 …/third_party/llvm-bootstrap-install/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h 11487 …/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/ExplodedGraph.cpp.o' are mis… 11488 …s/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/ExplodedGraph.cpp.o is dirty 16628 …ject tools/clang/lib/StaticAnalyzer/Core/CMakeFiles/clangStaticAnalyzerCore.dir/ExplodedGraph.cpp.o
|