| /freebsd-12.1/contrib/llvm/tools/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()
58 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
155 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
171 void ExplodedGraph::reclaimRecentlyAllocatedNodes() { in reclaimRecentlyAllocatedNodes()
286 int64_t ExplodedNode::getID(ExplodedGraph *G) const { in getID()
296 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
342 std::unique_ptr<ExplodedGraph>
343 ExplodedGraph::trim(ArrayRef<const NodeTy *> Sinks, in trim()
[all …]
|
| H A D | BugReporter.cpp | 2234 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } in getGraph()
2277 std::unique_ptr<ExplodedGraph> Graph;
2294 std::unique_ptr<ExplodedGraph> G;
2324 TrimmedGraph(const ExplodedGraph *OriginalGraph,
2332 TrimmedGraph::TrimmedGraph(const ExplodedGraph *OriginalGraph, in TrimmedGraph()
2400 auto GNew = llvm::make_unique<ExplodedGraph>(); in popNextReportGraph()
|
| H A D | CoreEngine.cpp | 203 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; in ExecuteWorkListWithInitialState()
|
| H A D | ExprEngine.cpp | 2950 struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
2999 ExplodedGraph *) { in getNodeAttributes()
3017 static std::string getNodeLabel(const ExplodedNode *N, ExplodedGraph *G){ in getNodeLabel()
3097 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); in DumpGraph()
|
| H A D | CheckerManager.cpp | 392 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
|
| H A D | BugReporterVisitors.cpp | 1619 if (ExplodedGraph::isInterestingLValueExpr(Inner)) { in trackExpressionValue()
1697 if (ExplodedGraph::isInterestingLValueExpr(Inner)) { in trackExpressionValue()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExplodedGraph.h | 55 class ExplodedGraph; variable
70 friend class ExplodedGraph; variable
107 void addNode(ExplodedNode *N, ExplodedGraph &G);
192 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
247 int64_t getID(ExplodedGraph *G) const;
264 class ExplodedGraph {
306 ExplodedGraph();
307 ~ExplodedGraph();
326 return llvm::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
398 std::unique_ptr<ExplodedGraph>
[all …]
|
| H A D | ExprEngine.h | 126 ExplodedGraph &G;
230 ExplodedGraph &getGraph() { return G; } in getGraph()
231 const ExplodedGraph &getGraph() const { return G; } in getGraph()
|
| H A D | CoreEngine.h | 75 mutable ExplodedGraph G;
134 ExplodedGraph &getGraph() { return G; } in getGraph()
|
| H A D | ProgramState.h | 84 friend class ExplodedGraph; variable
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 37 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 D | UnreachableCodeChecker.cpp | 35 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 D | CheckerDocumentation.cpp | 206 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 59 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR,
282 void ExprInspectionChecker::checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
|
| H A D | DebugCheckers.cpp | 225 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 59 class ExplodedGraph; variable
524 ExplodedGraph &getGraph();
571 ExplodedGraph &getGraph() { return BR.getGraph(); } in getGraph()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 45 class ExplodedGraph; variable
288 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
440 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 | 303 "How often nodes in the ExplodedGraph should be recycled to save memory. "
|
| /freebsd-12.1/lib/clang/libclang/ |
| H A D | Makefile | 589 SRCS_FUL+= StaticAnalyzer/Core/ExplodedGraph.cpp
|