Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp42 ExplodedGraph::ExplodedGraph() = default;
44 ExplodedGraph::~ExplodedGraph() = default;
50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr()
57 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
154 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
170 void ExplodedGraph::reclaimRecentlyAllocatedNodes() { in reclaimRecentlyAllocatedNodes()
205 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
220 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode()
394 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L, in getNode()
432 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
[all …]
H A DCMakeLists.txt26 ExplodedGraph.cpp
H A DBugReporter.cpp205 std::unique_ptr<const ExplodedGraph> BugPath;
227 BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath,
1978 BugReporterContext BRC, std::unique_ptr<ExplodedGraph> BugPath, in PathDiagnosticBuilder()
2432 const ExplodedGraph &PathSensitiveBugReporter::getGraph() const { in getGraph()
2474 std::unique_ptr<ExplodedGraph> BugPath;
2482 std::unique_ptr<ExplodedGraph> TrimmedGraph;
2526 BugPathGetter(const ExplodedGraph *OriginalGraph,
2534 BugPathGetter::BugPathGetter(const ExplodedGraph *OriginalGraph, in BugPathGetter()
2609 auto GNew = std::make_unique<ExplodedGraph>(); in getNextBugPath()
H A DCoreEngine.cpp201 for (ExplodedGraph::eop_iterator I = G.eop_begin(), E = G.eop_end(); I != E; in ExecuteWorkListWithInitialState()
H A DExprEngine.cpp3119 struct DOTGraphTraits<ExplodedGraph*> : public DefaultDOTGraphTraits {
3166 static bool isNodeHidden(const ExplodedNode *N, const ExplodedGraph *G) { in isNodeHidden()
3170 static std::string getNodeLabel(const ExplodedNode *N, ExplodedGraph *G){ in getNodeLabel()
3264 std::unique_ptr<ExplodedGraph> TrimmedG(G.trim(Nodes)); in DumpGraph()
H A DCheckerManager.cpp402 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
H A DBugReporterVisitors.cpp2090 if (ExplodedGraph::isInterestingLValueExpr(Inner)) { in trackExpressionValue()
2174 if (ExplodedGraph::isInterestingLValueExpr(Inner)) in trackExpressionValue()
/netbsd-src/external/apache2/llvm/dist/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);
197 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
304 class ExplodedGraph {
346 ExplodedGraph();
347 ~ExplodedGraph();
366 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
367 return std::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
439 std::unique_ptr<ExplodedGraph>
[all …]
H A DExprEngine.h150 ExplodedGraph &G;
261 ExplodedGraph &getGraph() { return G; } in getGraph()
262 const ExplodedGraph &getGraph() const { return G; } in getGraph()
H A DCoreEngine.h75 mutable ExplodedGraph G;
140 ExplodedGraph &getGraph() { return G; } in getGraph()
H A DProgramState.h81 friend class ExplodedGraph; variable
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp36 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 DUnreachableCodeChecker.cpp34 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 DCheckerDocumentation.cpp205 void checkEndAnalysis(ExplodedGraph &G, in checkEndAnalysis()
H A DExprInspectionChecker.cpp69 void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR,
371 void ExprInspectionChecker::checkEndAnalysis(ExplodedGraph &G, BugReporter &BR, 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()
/netbsd-src/external/apache2/llvm/dist/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
/netbsd-src/external/apache2/llvm/lib/libclangStaticAnalyzerCore/
H A DMakefile28 ExplodedGraph.cpp \
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h47 class ExplodedGraph; variable
347 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
501 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
H A DChecker.h228 static void _checkEndAnalysis(void *checker, ExplodedGraph &G, in _checkEndAnalysis()
H A DAnalyzerOptions.def344 "How often nodes in the ExplodedGraph should be recycled to save memory. "
/netbsd-src/external/apache2/llvm/dist/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn35 "ExplodedGraph.cpp",
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h60 class ExplodedGraph; variable
675 const ExplodedGraph &getGraph() const;
/netbsd-src/external/apache2/llvm/dist/clang/utils/analyzer/
H A Dexploded-graph-rewriter.py328 class ExplodedGraph: class
1020 graph = ExplodedGraph()