Home
last modified time | relevance | path

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

123

/aosp_15_r20/external/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.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 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode()
[all …]
H A DCMakeLists.txt23 ExplodedGraph.cpp
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h55 class ExplodedGraph; variable
70 friend class ExplodedGraph; variable
107 void addNode(ExplodedNode *N, ExplodedGraph &G);
196 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
303 class ExplodedGraph {
345 ExplodedGraph();
346 ~ExplodedGraph();
365 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
366 return std::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
434 std::unique_ptr<ExplodedGraph>
[all …]
DExprEngine.h148 ExplodedGraph &G;
254 ExplodedGraph &getGraph() { return G; } in getGraph()
255 const ExplodedGraph &getGraph() const { return G; } in getGraph()
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h55 class ExplodedGraph; variable
70 friend class ExplodedGraph; variable
107 void addNode(ExplodedNode *N, ExplodedGraph &G);
196 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
303 class ExplodedGraph {
345 ExplodedGraph();
346 ~ExplodedGraph();
365 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
366 return std::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
434 std::unique_ptr<ExplodedGraph>
[all …]
DExprEngine.h148 ExplodedGraph &G;
264 ExplodedGraph &getGraph() { return G; } in getGraph()
265 const ExplodedGraph &getGraph() const { return G; } in getGraph()
DCoreEngine.h76 mutable ExplodedGraph G;
145 ExplodedGraph &getGraph() { return G; } in getGraph()
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h55 class ExplodedGraph; variable
70 friend class ExplodedGraph; variable
107 void addNode(ExplodedNode *N, ExplodedGraph &G);
196 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
303 class ExplodedGraph {
345 ExplodedGraph();
346 ~ExplodedGraph();
365 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
366 return std::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
434 std::unique_ptr<ExplodedGraph>
[all …]
DExprEngine.h148 ExplodedGraph &G;
256 ExplodedGraph &getGraph() { return G; } in getGraph()
257 const ExplodedGraph &getGraph() const { return G; } in getGraph()
DCoreEngine.h76 mutable ExplodedGraph G;
145 ExplodedGraph &getGraph() { return G; } in getGraph()
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h55 class ExplodedGraph; variable
70 friend class ExplodedGraph; variable
107 void addNode(ExplodedNode *N, ExplodedGraph &G);
196 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
303 class ExplodedGraph {
345 ExplodedGraph();
346 ~ExplodedGraph();
365 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
366 return std::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
434 std::unique_ptr<ExplodedGraph>
[all …]
DExprEngine.h148 ExplodedGraph &G;
254 ExplodedGraph &getGraph() { return G; } in getGraph()
255 const ExplodedGraph &getGraph() const { return G; } in getGraph()
DCoreEngine.h76 mutable ExplodedGraph G;
145 ExplodedGraph &getGraph() { return G; } in getGraph()
/aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h44 class ExplodedGraph; variable
56 friend class ExplodedGraph; variable
96 void addNode(ExplodedNode *N, ExplodedGraph &G);
176 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
247 class ExplodedGraph {
306 std::unique_ptr<ExplodedGraph> MakeEmptyGraph() const { in MakeEmptyGraph()
307 return llvm::make_unique<ExplodedGraph>(); in MakeEmptyGraph()
322 ExplodedGraph();
324 ~ExplodedGraph();
383 std::unique_ptr<ExplodedGraph>
H A DExprEngine.h66 ExplodedGraph& G;
159 ExplodedGraph& getGraph() { return G; } in getGraph()
160 const ExplodedGraph& getGraph() const { return G; } in getGraph()
H A DCoreEngine.h63 mutable ExplodedGraph G;
121 ExplodedGraph &getGraph() { return G; } in getGraph()
/aosp_15_r20/external/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
/aosp_15_r20/external/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()
/aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h42 class ExplodedGraph; variable
503 ExplodedGraph &getGraph();
536 ExplodedGraph &getGraph() { return BR.getGraph(); }
/aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h42 class ExplodedGraph; variable
286 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
431 typedef CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/clang/StaticAnalyzer/Core/
DCheckerManager.h46 class ExplodedGraph; variable
346 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
500 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/clang/StaticAnalyzer/Core/
DCheckerManager.h46 class ExplodedGraph; variable
346 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
498 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/clang/StaticAnalyzer/Core/
DCheckerManager.h46 class ExplodedGraph; variable
346 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
498 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/clang/StaticAnalyzer/Core/
DCheckerManager.h46 class ExplodedGraph; variable
346 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR,
498 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;

123