Home
last modified time | relevance | path

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

/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDExplodedGraph.cpp50 ExplodedGraph::ExplodedGraph() in ExplodedGraph() function in ExplodedGraph
53 ExplodedGraph::~ExplodedGraph() {} in ~ExplodedGraph()
59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr()
67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
164 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
180 void ExplodedGraph::reclaimRecentlyAllocatedNodes() { in reclaimRecentlyAllocatedNodes()
218 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
236 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode()
301 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
339 std::unique_ptr<ExplodedGraph>
[all …]
HDBugReporter.cpp2740 ExplodedGraph &GRBugReporter::getGraph() { return Eng.getGraph(); } in getGraph()
2798 std::unique_ptr<ExplodedGraph> Graph;
2813 std::unique_ptr<ExplodedGraph> G;
2843 TrimmedGraph(const ExplodedGraph *OriginalGraph,
2850 TrimmedGraph::TrimmedGraph(const ExplodedGraph *OriginalGraph, in TrimmedGraph()
2919 auto GNew = llvm::make_unique<ExplodedGraph>(); in popNextReportGraph()
HDCoreEngine.cpp277 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; in ExecuteWorkListWithInitialState()
HDBugReporterVisitors.cpp908 if (ExplodedGraph::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex)) in trackNullOrUndefValue()
946 if (Inner && ExplodedGraph::isInterestingLValueExpr(Inner)) { in trackNullOrUndefValue()
HDCheckerManager.cpp346 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
HDExprEngine.cpp2692 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); in ViewGraph()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDExplodedGraph.h43 class ExplodedGraph; variable
55 friend class ExplodedGraph; variable
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
176 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
247 class ExplodedGraph {
298 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
299 return llvm::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
314 ExplodedGraph();
316 ~ExplodedGraph();
373 std::unique_ptr<ExplodedGraph>
HDExprEngine.h66 ExplodedGraph& G;
159 ExplodedGraph& getGraph() { return G; } in getGraph()
160 const ExplodedGraph& getGraph() const { return G; } in getGraph()
HDCoreEngine.h63 mutable ExplodedGraph G;
118 ExplodedGraph &getGraph() { return G; } in getGraph()
HDProgramState.h82 friend class ExplodedGraph; variable
/NextBSD/lib/clang/libclangstaticanalyzercore/
HDMakefile.depend140 ExplodedGraph.o: AttrList.inc.h
141 ExplodedGraph.o: Attrs.inc.h
142 ExplodedGraph.o: CommentCommandList.inc.h
143 ExplodedGraph.o: DeclNodes.inc.h
144 ExplodedGraph.o: DiagnosticCommonKinds.inc.h
145 ExplodedGraph.o: StmtNodes.inc.h
146 ExplodedGraph.po: AttrList.inc.h
147 ExplodedGraph.po: Attrs.inc.h
148 ExplodedGraph.po: CommentCommandList.inc.h
149 ExplodedGraph.po: DeclNodes.inc.h
[all …]
HDMakefile25 ExplodedGraph.cpp \
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDAnalyzerStatsChecker.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()
HDUnreachableCodeChecker.cpp39 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,
53 void UnreachableCodeChecker::checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
66 for (ExplodedGraph::node_iterator I = G.nodes_begin(), E = G.nodes_end(); in checkEndAnalysis()
HDCheckerDocumentation.cpp172 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
HDDebugCheckers.cpp202 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
HDRetainCountChecker.cpp2502 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, in checkEndAnalysis()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporter.h42 class ExplodedGraph; variable
503 ExplodedGraph &getGraph();
536 ExplodedGraph &getGraph() { return BR.getGraph(); }
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
HDCheckerManager.h41 class ExplodedGraph; variable
272 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
411 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
HDChecker.h213 static void _checkEndAnalysis(void *checker, ExplodedGraph &G, in _checkEndAnalysis()