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) {
164 void ExplodedGraph::collectNode(ExplodedNode *node)
    [all...]
Android.mk 32 ExplodedGraph.cpp \
CoreEngine.cpp 277 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E;
BugReporter.cpp 54 // Helper routines for walking the ExplodedGraph and fetching statements.
    [all...]
BugReporterVisitors.cpp 20 #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
163 /// This will search back through the ExplodedGraph, starting from the given
869 // we took (true/false) by looking at the ExplodedGraph.
908 if (ExplodedGraph::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex))
    [all...]
CheckerManager.cpp 373 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
ExprEngine.cpp 12 // functions and build the ExplodedGraph at the expression level.
91 // Enable eager node reclaimation when constructing the ExplodedGraph.
426 // 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);
176 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
247 class ExplodedGraph {
298 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const
    [all...]
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; }
CoreEngine.h 21 #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
118 ExplodedGraph &getGraph() { return G; }
200 /// ExplodedGraph.
259 /// \brief Generates a node in the ExplodedGraph.
266 /// \brief Generates a sink in the ExplodedGraph.
ProgramState.h 82 friend class ExplodedGraph;
  /external/clang/lib/StaticAnalyzer/Checkers/
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();
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 173 /// \brief Called after all the paths in the ExplodedGraph reach end of path
182 void checkEndAnalysis(ExplodedGraph &G,
DebugCheckers.cpp 23 #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/
BugReporter.h 42 class ExplodedGraph;
503 ExplodedGraph &getGraph();
536 ExplodedGraph &getGraph() { return BR.getGraph(); }
  /external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 41 class ExplodedGraph;
287 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
426 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
Checker.h 228 static void _checkEndAnalysis(void *checker, ExplodedGraph &G,

Completed in 1625 milliseconds