Searched refs:ExplodedGraph (Results 1 - 17 of 17) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp1 //=-- 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 DCoreEngine.cpp289 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E;
H A DBugReporter.cpp54 // Helper routines for walking the ExplodedGraph and fetching statements.
2737 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); }
2795 std::unique_ptr<ExplodedGraph> Graph;
2810 std::unique_ptr<ExplodedGraph> G;
2840 TrimmedGraph(const ExplodedGraph *OriginalGraph,
2847 TrimmedGraph::TrimmedGraph(const ExplodedGraph *OriginalGraph,
2916 auto GNew = llvm::make_unique<ExplodedGraph>();
3306 // DFS traversal of the ExplodedGraph to find a non-sink node. We could write
H A DBugReporterVisitors.cpp21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
164 /// This will search back through the ExplodedGraph, starting from the given
927 // we took (true/false) by looking at the ExplodedGraph.
966 if (ExplodedGraph::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex))
1004 if (Inner && ExplodedGraph::isInterestingLValueExpr(Inner)) {
H A DCheckerManager.cpp373 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
H A DExprEngine.cpp12 // functions and build the ExplodedGraph at the expression level.
92 // Enable eager node reclaimation when constructing the ExplodedGraph.
427 // Reclaim any unnecessary nodes in the ExplodedGraph.
2801 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes));
2804 llvm::errs() << "warning: Trimmed ExplodedGraph is empty.\n";
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h1 //=-- ExplodedGraph.h - Local, Path-Sens. "Exploded Graph" -*- C++ -*-------==//
10 // This file defines the template classes ExplodedNode and ExplodedGraph,
44 class ExplodedGraph;
47 // ExplodedGraph "implementation" classes. These classes are not typed to
56 friend class ExplodedGraph;
68 /// common case in an ExplodedGraph, where most nodes have only one
96 void addNode(ExplodedNode *N, ExplodedGraph &G);
176 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
247 class ExplodedGraph { class in namespace:clang::ento
301 /// ExplodedGraph fo
[all...]
H A DExprEngine.h12 // 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 DCoreEngine.h21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
36 /// analysis. It traverses the CFG and generates the ExplodedGraph.
63 mutable ExplodedGraph G;
71 /// These are used to record for key nodes in the ExplodedGraph the
121 ExplodedGraph &getGraph() { return G; }
203 /// ExplodedGraph.
262 /// \brief Generates a node in the ExplodedGraph.
269 /// \brief Generates a sink in the ExplodedGraph.
H A DProgramState.h83 friend class ExplodedGraph;
/external/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp17 #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 DUnreachableCodeChecker.cpp25 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
35 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,
49 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G,
61 // Iterate over ExplodedGraph
62 for (ExplodedGraph::node_iterator I = G.nodes_begin(), E = G.nodes_end();
H A DCheckerDocumentation.cpp179 /// \brief Called after all the paths in the ExplodedGraph reach end of path
188 void checkEndAnalysis(ExplodedGraph &G,
H A DDebugCheckers.cpp23 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
198 // ExplodedGraph Viewer
205 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const {
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h42 class ExplodedGraph;
503 ExplodedGraph &getGraph();
536 ExplodedGraph &getGraph() { return BR.getGraph(); }
/external/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h42 class ExplodedGraph;
286 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
431 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
H A DChecker.h228 static void _checkEndAnalysis(void *checker, ExplodedGraph &G,

Completed in 580 milliseconds