HomeSort by relevance Sort by last modified time
    Searched refs:ExplodedGraph (Results 1 - 18 of 18) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
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()
53 ExplodedGraph::~ExplodedGraph() {}
59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) {
67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {
159 void ExplodedGraph::collectNode(ExplodedNode *node)
    [all...]
Android.mk 29 ExplodedGraph.cpp \
BugReporter.cpp 52 // Helper routines for walking the ExplodedGraph and fetching statements.
    [all...]
CoreEngine.cpp 276 for (ExplodedGraph::eop_iterator I = G->eop_begin(),
BugReporterVisitors.cpp 20 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
160 /// This will search back through the ExplodedGraph, starting from the given
807 if (ExplodedGraph::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex))
838 if (Inner && ExplodedGraph::isInterestingLValueExpr(Inner)) {
    [all...]
CheckerManager.cpp 346 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
ExprEngine.cpp 12 // functions and build the ExplodedGraph at the expression level.
78 // Enable eager node reclaimation when constructing the ExplodedGraph.
380 // Reclaim any unnecessary nodes in the ExplodedGraph.
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
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);
245 class ExplodedGraph {
296 ExplodedGraph* MakeEmptyGraph() const
    [all...]
CoreEngine.h 21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
36 /// analysis. It traverses the CFG and generates the ExplodedGraph.
63 OwningPtr<ExplodedGraph> G;
71 /// These are used to record for key nodes in the ExplodedGraph the
109 : SubEng(subengine), G(new ExplodedGraph()),
115 ExplodedGraph& getGraph() { return *G.get(); }
119 ExplodedGraph* takeGraph() { return G.take(); }
201 /// ExplodedGraph.
260 /// \brief Generates a node in the ExplodedGraph.
267 /// \brief Generates a sink in the ExplodedGraph
    [all...]
ExprEngine.h 12 // functions and build the ExplodedGraph at the expression level.
67 ExplodedGraph& G;
149 /// Visualize the ExplodedGraph created by executing the simulation.
152 /// Visualize a trimmed ExplodedGraph that only contains paths to the given
157 /// in the ExplodedGraph.
160 ExplodedGraph& getGraph() { return G; }
161 const ExplodedGraph& getGraph() const { return G; }
ProgramState.h 81 friend class ExplodedGraph;
  /external/clang/lib/StaticAnalyzer/Checkers/
AnalyzerStatsChecker.cpp 19 #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();
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();
CheckerDocumentation.cpp 162 /// \brief Called after all the paths in the ExplodedGraph reach end of path
171 void checkEndAnalysis(ExplodedGraph &G,
IdempotentOperationChecker.cpp 76 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
345 void IdempotentOperationChecker::checkEndAnalysis(ExplodedGraph &G,
  /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporter.h 40 class ExplodedGraph;
512 ExplodedGraph &getGraph();
546 ExplodedGraph &getGraph() { return BR.getGraph(); }
  /external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 41 class ExplodedGraph;
284 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
419 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
Checker.h 217 static void _checkEndAnalysis(void *checker, ExplodedGraph &G,

Completed in 2339 milliseconds