Home
last modified time | relevance | path

Searched refs:ExplodedGraph (Results 1 – 24 of 24) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp42 ExplodedGraph::ExplodedGraph() = default;
44 ExplodedGraph::~ExplodedGraph() = default;
50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr()
56 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
153 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
169 void ExplodedGraph::reclaimRecentlyAllocatedNodes() { in reclaimRecentlyAllocatedNodes()
204 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
219 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode()
393 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
431 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
[all …]
H A DCMakeLists.txt27 ExplodedGraph.cpp
H A DBugReporter.cpp207 std::unique_ptr<const ExplodedGraph> BugPath;
229 BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath,
1986 BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath, in PathDiagnosticBuilder()
2458 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()
2500 std::unique_ptr<ExplodedGraph> BugPath;
2508 std::unique_ptr<ExplodedGraph> TrimmedGraph;
2552 BugPathGetter(const ExplodedGraph *OriginalGraph,
2560 BugPathGetter::BugPathGetter(const ExplodedGraph *OriginalGraph, in BugPathGetter()
2635 auto GNew = std::make_unique<ExplodedGraph>(); in getNextBugPath()
H A DCoreEngine.cpp230 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; in ExecuteWorkListWithInitialState()
H A DExprEngine.cpp3791 struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
3838 static bool isNodeHidden(const ExplodedNode *N, const ExplodedGraph *G) { in isNodeHidden()
3842 static std::string getNodeLabel(const ExplodedNode *N, ExplodedGraph *G){ in getNodeLabel()
3920 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); in DumpGraph()
H A DCheckerManager.cpp400 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
H A DBugReporterVisitors.cpp2329 if (ExplodedGraph::isInterestingLValueExpr(Inner)) { in handle()
2515 if (ExplodedGraph::isInterestingLValueExpr(Inner)) in handle()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h54 class ExplodedGraph; variable
69 friend class ExplodedGraph; variable
106 void addNode(ExplodedNode *N, ExplodedGraph &G);
195 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
302 class ExplodedGraph {
344 ExplodedGraph();
345 ~ExplodedGraph();
364 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
365 return std::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
437 std::unique_ptr<ExplodedGraph>
[all …]
H A DExprEngine.h148 ExplodedGraph &G;
264 ExplodedGraph &getGraph() { return G; } in getGraph()
265 const ExplodedGraph &getGraph() const { return G; } in getGraph()
H A DCoreEngine.h75 mutable ExplodedGraph G;
144 ExplodedGraph &getGraph() { return G; } in getGraph()
H A DProgramState.h80 friend class ExplodedGraph; variable
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
41 void AnalyzerStatsChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
55 for (ExplodedGraph::node_iterator I = G.nodes_begin(); in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp35 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,
49 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
62 for (ExplodedGraph::node_iterator I = G.nodes_begin(), E = G.nodes_end(); in checkEndAnalysis()
H A DCheckerDocumentation.cpp205 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
H A DAnalysisOrderChecker.cpp175 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
H A DDebugCheckers.cpp304 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
H A DExprInspectionChecker.cpp73 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR,
416 void ExprInspectionChecker::checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/
H A DREADME.txt25 node in an exploded graph (ExplodedGraph). The term "exploded" comes
29 ExplodedGraph. We start at a root node, which has the entry program
32 state to change, resulting in a new node in the ExplodedGraph with an
49 existing node. Thus the ExplodedGraph is not a DAG; it can contain
54 ProgramState. This immutability is key since the ExplodedGraph represents
116 third generates a graphviz dot file of the ExplodedGraph. This is
/openbsd-src/gnu/llvm/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn36 "ExplodedGraph.cpp",
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h46 class ExplodedGraph; variable
346 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
500 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
H A DChecker.h228 static void _checkEndAnalysis(void *checker, ExplodedGraph &G, in _checkEndAnalysis()
H A DAnalyzerOptions.def385 "How often nodes in the ExplodedGraph should be recycled to save memory. "
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h59 class ExplodedGraph; variable
682 const ExplodedGraph &getGraph() const;
/openbsd-src/gnu/llvm/clang/utils/analyzer/
H A Dexploded-graph-rewriter.py359 class ExplodedGraph: class
1057 graph = ExplodedGraph()