| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExplodedGraph.cpp | 42 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()
393 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
440 std::unique_ptr<ExplodedGraph>
441 ExplodedGraph::trim(ArrayRef<const NodeTy *> Sinks, in trim()
[all …]
|
| H A D | CMakeLists.txt | 27 ExplodedGraph.cpp
|
| H A D | BugReporter.cpp | 208 std::unique_ptr<const ExplodedGraph> BugPath;
230 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 D | CoreEngine.cpp | 230 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; in ExecuteWorkListWithInitialState()
|
| H A D | ExprEngine.cpp | 3459 struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
3506 static bool isNodeHidden(const ExplodedNode *N, const ExplodedGraph *G) { in isNodeHidden()
3510 static std::string getNodeLabel(const ExplodedNode *N, ExplodedGraph *G){ in getNodeLabel()
3588 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); in DumpGraph()
|
| H A D | CheckerManager.cpp | 402 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExplodedGraph.h | 54 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 D | ExprEngine.h | 147 ExplodedGraph &G;
263 ExplodedGraph &getGraph() { return G; } in getGraph()
264 const ExplodedGraph &getGraph() const { return G; } in getGraph()
|
| H A D | CoreEngine.h | 75 mutable ExplodedGraph G;
144 ExplodedGraph &getGraph() { return G; } in getGraph()
|
| H A D | ProgramState.h | 79 friend class ExplodedGraph; variable
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 36 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
40 void AnalyzerStatsChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
54 for (ExplodedGraph::node_iterator I = G.nodes_begin(); in checkEndAnalysis()
|
| H A D | UnreachableCodeChecker.cpp | 34 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,
48 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
61 for (ExplodedGraph::node_iterator I = G.nodes_begin(), E = G.nodes_end(); in checkEndAnalysis()
|
| H A D | CheckerDocumentation.cpp | 205 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 175 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
|
| H A D | DebugCheckers.cpp | 304 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 72 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR,
414 void ExprInspectionChecker::checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/ |
| H A D | README.txt | 25 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
|
| /llvm-project-15.0.7/clang/test/Analysis/exploded-graph-rewriter/ |
| H A D | empty.dot | 9 // CHECK: digraph "ExplodedGraph" {
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 36 "ExplodedGraph.cpp",
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 46 class ExplodedGraph; variable
346 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
500 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
|
| H A D | Checker.h | 228 static void _checkEndAnalysis(void *checker, ExplodedGraph &G, in _checkEndAnalysis()
|
| H A D | AnalyzerOptions.def | 384 "How often nodes in the ExplodedGraph should be recycled to save memory. "
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 59 class ExplodedGraph; variable
682 const ExplodedGraph &getGraph() const;
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SValTest.cpp | 75 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B, in checkEndAnalysis()
|
| /llvm-project-15.0.7/clang/utils/analyzer/ |
| H A D | exploded-graph-rewriter.py | 334 class ExplodedGraph: class
1029 graph = ExplodedGraph()
|