Searched refs:ExplodedGraph (Results 1 - 18 of 18) 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 DAndroid.mk30 ExplodedGraph.cpp \
H A DBugReporter.cpp54 // 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 DCoreEngine.cpp276 for (ExplodedGraph::eop_iterator I = G->eop_begin(),
H A DBugReporterVisitors.cpp20 #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 DCheckerManager.cpp346 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
H A DExprEngine.cpp12 // 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 DExplodedGraph.h1 //=-- 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 DCoreEngine.h21 #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 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 DProgramState.h81 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"
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 DCheckerDocumentation.cpp163 /// \brief Called after all the paths in the ExplodedGraph reach end of path
172 void checkEndAnalysis(ExplodedGraph &G,
H A DDebugCheckers.cpp20 #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 DBugReporter.h42 class ExplodedGraph;
500 ExplodedGraph &getGraph();
533 ExplodedGraph &getGraph() { return BR.getGraph(); }
/external/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h41 class ExplodedGraph;
325 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
464 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
H A DChecker.h217 static void _checkEndAnalysis(void *checker, ExplodedGraph &G,

Completed in 817 milliseconds