/aosp_15_r20/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExplodedGraph.cpp | 50 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 D | CMakeLists.txt | 23 ExplodedGraph.cpp
|
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | ExplodedGraph.h | 55 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 …]
|
D | ExprEngine.h | 148 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/ |
D | ExplodedGraph.h | 55 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 …]
|
D | ExprEngine.h | 148 ExplodedGraph &G; 264 ExplodedGraph &getGraph() { return G; } in getGraph() 265 const ExplodedGraph &getGraph() const { return G; } in getGraph()
|
D | CoreEngine.h | 76 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/ |
D | ExplodedGraph.h | 55 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 …]
|
D | ExprEngine.h | 148 ExplodedGraph &G; 256 ExplodedGraph &getGraph() { return G; } in getGraph() 257 const ExplodedGraph &getGraph() const { return G; } in getGraph()
|
D | CoreEngine.h | 76 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/ |
D | ExplodedGraph.h | 55 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 …]
|
D | ExprEngine.h | 148 ExplodedGraph &G; 254 ExplodedGraph &getGraph() { return G; } in getGraph() 255 const ExplodedGraph &getGraph() const { return G; } in getGraph()
|
D | CoreEngine.h | 76 mutable ExplodedGraph G; 145 ExplodedGraph &getGraph() { return G; } in getGraph()
|
/aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExplodedGraph.h | 44 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 D | ExprEngine.h | 66 ExplodedGraph& G; 159 ExplodedGraph& getGraph() { return G; } in getGraph() 160 const ExplodedGraph& getGraph() const { return G; } in getGraph()
|
H A D | CoreEngine.h | 63 mutable ExplodedGraph G; 121 ExplodedGraph &getGraph() { return G; } in getGraph()
|
/aosp_15_r20/external/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
|
/aosp_15_r20/external/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()
|
/aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 42 class ExplodedGraph; variable 503 ExplodedGraph &getGraph(); 536 ExplodedGraph &getGraph() { return BR.getGraph(); }
|
/aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 42 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/ |
D | CheckerManager.h | 46 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/ |
D | CheckerManager.h | 46 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/ |
D | CheckerManager.h | 46 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/ |
D | CheckerManager.h | 46 class ExplodedGraph; variable 346 void runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, 498 CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>;
|