Searched refs:ExplodedGraph (Results 1 - 18 of 18) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExplodedGraph.cpp | 1 //=-- ExplodedGraph.cpp - Local, Path-Sens. "Exploded Graph" -*- C++ -*------=// 10 // This file defines the template classes ExplodedNode and ExplodedGraph, 15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h" 50 ExplodedGraph::ExplodedGraph() function in class:ExplodedGraph 53 ExplodedGraph::~ExplodedGraph() {} 59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { 67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { 164 void ExplodedGraph [all...] |
H A D | Android.mk | 30 ExplodedGraph.cpp \
|
H A D | BugReporter.cpp | 54 // Helper routines for walking the ExplodedGraph and fetching statements. 2760 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } 2820 std::unique_ptr<ExplodedGraph> Graph; 2835 std::unique_ptr<ExplodedGraph> G; 2865 TrimmedGraph(const ExplodedGraph *OriginalGraph, 2872 TrimmedGraph::TrimmedGraph(const ExplodedGraph *OriginalGraph, 2941 ExplodedGraph *GNew = new ExplodedGraph(); 3329 // DFS traversal of the ExplodedGraph to find a non-sink node. We could write
|
H A D | CoreEngine.cpp | 276 for (ExplodedGraph::eop_iterator I = G->eop_begin(),
|
H A D | BugReporterVisitors.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h" 168 /// This will search back through the ExplodedGraph, starting from the given 873 // we took (true/false) by looking at the ExplodedGraph. 912 if (ExplodedGraph::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex)) 950 if (Inner && ExplodedGraph::isInterestingLValueExpr(Inner)) {
|
H A D | CheckerManager.cpp | 346 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
|
H A D | ExprEngine.cpp | 12 // functions and build the ExplodedGraph at the expression level. 81 // Enable eager node reclaimation when constructing the ExplodedGraph. 416 // Reclaim any unnecessary nodes in the ExplodedGraph. 2586 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); 2589 llvm::errs() << "warning: Trimmed ExplodedGraph is empty.\n";
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExplodedGraph.h | 1 //=-- ExplodedGraph.h - Local, Path-Sens. "Exploded Graph" -*- C++ -*-------==// 10 // This file defines the template classes ExplodedNode and ExplodedGraph, 43 class ExplodedGraph; 46 // ExplodedGraph "implementation" classes. These classes are not typed to 55 friend class ExplodedGraph; 67 /// common case in an ExplodedGraph, where most nodes have only one 95 void addNode(ExplodedNode *N, ExplodedGraph &G); 178 void addPredecessor(ExplodedNode *V, ExplodedGraph &G); 249 class ExplodedGraph { class in namespace:clang::ento 300 ExplodedGraph* MakeEmptyGrap [all...] |
H A D | CoreEngine.h | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h" 36 /// analysis. It traverses the CFG and generates the ExplodedGraph. 63 std::unique_ptr<ExplodedGraph> G; 71 /// These are used to record for key nodes in the ExplodedGraph the 113 : SubEng(subengine), G(new ExplodedGraph()), 119 ExplodedGraph& getGraph() { return *G.get(); } 123 ExplodedGraph *takeGraph() { return G.release(); } 205 /// ExplodedGraph. 264 /// \brief Generates a node in the ExplodedGraph. 271 /// \brief Generates a sink in the ExplodedGraph [all...] |
H A D | ExprEngine.h | 12 // functions and build the ExplodedGraph at the expression level. 66 ExplodedGraph& G; 148 /// Visualize the ExplodedGraph created by executing the simulation. 151 /// Visualize a trimmed ExplodedGraph that only contains paths to the given 156 /// in the ExplodedGraph. 159 ExplodedGraph& getGraph() { return G; } 160 const ExplodedGraph& getGraph() const { return G; }
|
H A D | ProgramState.h | 81 friend class ExplodedGraph;
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | AnalyzerStatsChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h" 37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const; 41 void AnalyzerStatsChecker::checkEndAnalysis(ExplodedGraph &G, 55 for (ExplodedGraph::node_iterator I = G.nodes_begin();
|
H A D | UnreachableCodeChecker.cpp | 25 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h" 39 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B, 53 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, 65 // Iterate over ExplodedGraph 66 for (ExplodedGraph::node_iterator I = G.nodes_begin(), E = G.nodes_end();
|
H A D | CheckerDocumentation.cpp | 163 /// \brief Called after all the paths in the ExplodedGraph reach end of path 172 void checkEndAnalysis(ExplodedGraph &G,
|
H A D | DebugCheckers.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h" 195 // ExplodedGraph Viewer 202 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 42 class ExplodedGraph; 500 ExplodedGraph &getGraph(); 533 ExplodedGraph &getGraph() { return BR.getGraph(); }
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 41 class ExplodedGraph; 325 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, 464 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
|
H A D | Checker.h | 217 static void _checkEndAnalysis(void *checker, ExplodedGraph &G,
|
Completed in 817 milliseconds