| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExplodedGraph.h | 55 class ExplodedNode : public llvm::FoldingSetNode {
85 ExplodedNode * const *begin() const;
87 ExplodedNode * const *end() const;
96 void addNode(ExplodedNode *N, ExplodedGraph &G);
103 void replaceNode(ExplodedNode *node);
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode() function
176 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
189 ExplodedNode *getFirstPred() { in getFirstPred()
193 const ExplodedNode *getFirstPred() const { in getFirstPred()
194 return const_cast<ExplodedNode*>(this)->getFirstPred(); in getFirstPred()
[all …]
|
| D | ExprEngine.h | 144 void GenerateAutoTransition(ExplodedNode *N);
146 void GenerateCallExitNode(ExplodedNode *N);
153 void ViewGraph(ArrayRef<const ExplodedNode*> Nodes);
187 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
197 void ProcessStmt(const CFGStmt S, ExplodedNode *Pred);
199 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
201 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
203 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
206 ExplodedNode *Pred, ExplodedNodeSet &Dst);
[all …]
|
| D | CoreEngine.h | 52 typedef std::vector<std::pair<BlockEdge, const ExplodedNode*> >
55 typedef std::vector<std::pair<const CFGBlock*, const ExplodedNode*> >
89 ExplodedNode *Pred);
91 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
92 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
93 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
95 void HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred);
97 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
100 ExplodedNode *Pred);
102 const CFGBlock *B, ExplodedNode *Pred);
[all …]
|
| D | CheckerContext.h | 73 ExplodedNode *Pred;
89 ExplodedNode *pred,
117 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
187 static const MemRegion *getLocationRegionIfPostStore(const ExplodedNode *N) { in getLocationRegionIfPostStore()
208 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
220 ExplodedNode *addTransition(ProgramStateRef State,
221 ExplodedNode *Pred,
229 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
241 ExplodedNode *generateErrorNode(ProgramStateRef State = nullptr,
254 ExplodedNode *
[all …]
|
| D | SubEngine.h | 32 class ExplodedNode; variable
56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
64 ExplodedNode *Pred) = 0;
70 ExplodedNode *Pred,
80 ExplodedNode *Pred,
89 ExplodedNode *Pred,
105 ExplodedNode *Pred,
112 ExplodedNode *Pred) = 0;
116 ExplodedNode *Pred) = 0;
119 virtual void processCallExit(ExplodedNode *Pred) = 0;
|
| D | WorkList.h | 29 ExplodedNode *node;
35 WorkListUnit(ExplodedNode *N, BlockCounter C, in WorkListUnit()
42 explicit WorkListUnit(ExplodedNode *N, BlockCounter C) in WorkListUnit()
49 ExplodedNode *getNode() const { return node; } in getNode()
69 void enqueue(ExplodedNode *N, const CFGBlock *B, unsigned idx) { in enqueue()
73 void enqueue(ExplodedNode *N) { in enqueue()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 88 class ExplodedNode; variable
234 void GenerateAutoTransition(ExplodedNode *N);
236 void GenerateCallExitNode(ExplodedNode *N);
247 std::string DumpGraph(ArrayRef<const ExplodedNode *> Nodes,
255 void ViewGraph(ArrayRef<const ExplodedNode *> Nodes);
289 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
296 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
299 void ProcessStmt(const Stmt *S, ExplodedNode *Pred);
301 void ProcessLoopExit(const Stmt* S, ExplodedNode *Pred);
303 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
[all …]
|
| D | ExplodedGraph.h | 65 class ExplodedNode : public llvm::FoldingSetNode {
95 ExplodedNode * const *begin() const;
97 ExplodedNode * const *end() const;
106 void addNode(ExplodedNode *N, ExplodedGraph &G);
113 void replaceNode(ExplodedNode *node);
137 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, in ExplodedNode() function
197 void addPredecessor(ExplodedNode *V, ExplodedGraph &G);
210 ExplodedNode *getFirstPred() { in getFirstPred()
214 const ExplodedNode *getFirstPred() const { in getFirstPred()
215 return const_cast<ExplodedNode*>(this)->getFirstPred(); in getFirstPred()
[all …]
|
| D | CoreEngine.h | 66 std::vector<std::pair<BlockEdge, const ExplodedNode *>>;
69 std::vector<std::pair<const CFGBlock *, const ExplodedNode *>>;
105 ExplodedNode *Pred);
107 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
108 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
109 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
111 void HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred);
113 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
116 ExplodedNode *Pred);
118 const CFGBlock *B, ExplodedNode *Pred);
[all …]
|
| D | CheckerContext.h | 26 ExplodedNode *Pred;
42 ExplodedNode *pred,
70 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
138 static const MemRegion *getLocationRegionIfPostStore(const ExplodedNode *N) { in getLocationRegionIfPostStore()
166 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
178 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
186 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
206 ExplodedNode *generateErrorNode(ProgramStateRef State = nullptr,
219 ExplodedNode *
234 ExplodedNode *
[all …]
|
| D | WorkList.h | 28 ExplodedNode *node;
34 WorkListUnit(ExplodedNode *N, BlockCounter C, in WorkListUnit()
41 explicit WorkListUnit(ExplodedNode *N, BlockCounter C) in WorkListUnit()
48 ExplodedNode *getNode() const { return node; } in getNode()
68 void enqueue(ExplodedNode *N, const CFGBlock *B, unsigned idx) { in enqueue()
72 void enqueue(ExplodedNode *N) { in enqueue()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExplodedGraph.cpp | 34 ExplodedNode::Auditor::~Auditor() {} in ~Auditor()
37 static ExplodedNode::Auditor* NodeAuditor = nullptr;
40 void ExplodedNode::SetAuditor(ExplodedNode::Auditor* A) { in SetAuditor()
67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
102 const ExplodedNode *pred = *(node->pred_begin()); in shouldCollect()
106 const ExplodedNode *succ = *(node->succ_begin()); in shouldCollect()
164 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
170 ExplodedNode *pred = *(node->pred_begin()); in collectNode()
171 ExplodedNode *succ = *(node->succ_begin()); in collectNode()
177 node->~ExplodedNode(); in collectNode()
[all …]
|
| D | CoreEngine.cpp | 198 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew); in ExecuteWorkList()
234 ExplodedNode *Node = WU.getNode(); in ExecuteWorkList()
242 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
270 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
296 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
336 ExplodedNode *Pred) { in HandleBlockEntrance()
355 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit()
471 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) { in HandleCallEnter()
477 const CFGBlock * B, ExplodedNode *Pred) { in HandleBranch()
489 ExplodedNode *Pred) { in HandleCleanupTemporaryBranch()
[all …]
|
| D | BugReporterVisitors.cpp | 86 const Stmt *bugreporter::GetDenomExpr(const ExplodedNode *N) { in GetDenomExpr()
93 const Stmt *bugreporter::GetRetValExpr(const ExplodedNode *N) { in GetRetValExpr()
106 const ExplodedNode *EndPathNode, BugReport &BR) { in getEndPath()
111 BugReporterContext &BRC, const ExplodedNode *EndPathNode, BugReport &BR) { in getDefaultEndPath()
168 static void addVisitorIfNecessary(const ExplodedNode *Node, const Stmt *S, in addVisitorIfNecessary()
231 PathDiagnosticPiece *visitNodeInitial(const ExplodedNode *N, in visitNodeInitial()
232 const ExplodedNode *PrevN, in visitNodeInitial()
333 PathDiagnosticPiece *visitNodeMaybeUnsuppress(const ExplodedNode *N, in visitNodeMaybeUnsuppress()
334 const ExplodedNode *PrevN, in visitNodeMaybeUnsuppress()
386 PathDiagnosticPiece *VisitNode(const ExplodedNode *N, in VisitNode()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporterVisitor.h | 28 class ExplodedNode; variable
62 virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *Succ,
63 const ExplodedNode *Pred,
74 getEndPath(BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR);
80 getDefaultEndPath(BugReporterContext &BRC, const ExplodedNode *N,
124 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
125 const ExplodedNode *PrevN,
153 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
154 const ExplodedNode *PrevN,
160 bool isUnderconstrained(const ExplodedNode *N) const;
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | ExplodedGraph.cpp | 57 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
92 const ExplodedNode *pred = *(node->pred_begin()); in shouldCollect()
96 const ExplodedNode *succ = *(node->succ_begin()); in shouldCollect()
154 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
160 ExplodedNode *pred = *(node->pred_begin()); in collectNode()
161 ExplodedNode *succ = *(node->succ_begin()); in collectNode()
167 node->~ExplodedNode(); in collectNode()
202 using ExplodedNodeVector = BumpVector<ExplodedNode *>;
203 using GroupStorage = llvm::PointerUnion<ExplodedNode *, ExplodedNodeVector *>;
205 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
[all …]
|
| D | CoreEngine.cpp | 109 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew); in ExecuteWorkList()
145 ExplodedNode *Node = WU.getNode(); in ExecuteWorkList()
153 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
180 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
208 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
277 ExplodedNode *Pred) { in HandleBlockEntrance()
295 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit()
418 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) { in HandleCallEnter()
424 const CFGBlock * B, ExplodedNode *Pred) { in HandleBranch()
436 ExplodedNode *Pred) { in HandleCleanupTemporaryBranch()
[all …]
|
| D | BugReporterVisitors.cpp | 164 static bool hasVisibleUpdate(const ExplodedNode *LeftNode, SVal LeftVal, in hasVisibleUpdate()
165 const ExplodedNode *RightNode, SVal RightVal) { in hasVisibleUpdate()
183 const ExplodedNode *N) { in getSValForVar()
207 getConcreteIntegerValue(const Expr *CondVarExpr, const ExplodedNode *N) { in getConcreteIntegerValue()
216 const ExplodedNode *N, in isVarAnInterestingCondition()
231 static bool isInterestingExpr(const Expr *E, const ExplodedNode *N, in isInterestingExpr()
265 const ExplodedNode *N, in wasRegionOfInterestModifiedAt()
297 const ExplodedNode *, in getEndPath() argument
303 const ExplodedNode *, in finalizeVisitor() argument
308 const ExplodedNode *EndPathNode, in getDefaultEndPath()
[all …]
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporterVisitors.h | 38 class ExplodedNode; variable
61 virtual PathDiagnosticPieceRef VisitNode(const ExplodedNode *Succ,
68 const ExplodedNode *EndPathNode,
77 const ExplodedNode *N,
84 getDefaultEndPath(const BugReporterContext &BRC, const ExplodedNode *N,
114 bool trackExpressionValue(const ExplodedNode *N, const Expr *E,
159 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
185 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
191 bool isUnderconstrained(const ExplodedNode *N) const;
203 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | ValistChecker.cpp | 58 const ExplodedNode *getStartCallSite(const ExplodedNode *N,
64 StringRef Msg2, CheckerContext &C, ExplodedNode *N,
81 const ExplodedNode *EndPathNode, in getEndPath()
91 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
214 if (ExplodedNode *N = C.addTransition(State)) in checkDeadSymbols()
223 const ExplodedNode *
224 ValistChecker::getStartCallSite(const ExplodedNode *N, in getStartCallSite()
227 const ExplodedNode *StartCallNode = N; in getStartCallSite()
253 if (ExplodedNode *N = C.generateErrorNode()) { in reportUninitializedAccess()
267 CheckerContext &C, ExplodedNode *N, in reportLeakedVALists()
[all …]
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIBugReporter.h | 46 const ExplodedNode *const ExplNode,
59 const ExplodedNode *const ExplNode,
70 const ExplodedNode *const ExplNode,
95 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
96 const ExplodedNode *PrevN,
|
| D | MPIBugReporter.cpp | 27 const ExplodedNode *const ExplNode, in reportDoubleNonblocking()
52 const ExplodedNode *const ExplNode, in reportMissingWait()
72 const ExplodedNode *const ExplNode, in reportUnmatchedWait()
89 const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC, in VisitNode()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | MacOSKeychainAPIChecker.cpp | 103 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
107 const AllocationPair &AP, ExplodedNode *N, CheckerContext &C) const;
146 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
147 const ExplodedNode *PrevN,
250 ExplodedNode *N = C.generateNonFatalErrorNode(State); in generateDeallocatorMismatchReport()
296 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
359 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
425 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
488 const ExplodedNode *
489 MacOSKeychainAPIChecker::getAllocationNode(const ExplodedNode *N, in getAllocationNode()
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountDiagnostics.cpp | 329 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
334 const ExplodedNode *N,
343 const ExplodedNode *N,
353 static const ExplodedNode *getCalleeNode(const ExplodedNode *Pred) { in getCalleeNode()
361 const ExplodedNode *N = Pred; in getCalleeNode()
373 annotateConsumedSummaryMismatch(const ExplodedNode *N, in annotateConsumedSummaryMismatch()
378 const ExplodedNode *CN = getCalleeNode(N); in annotateConsumedSummaryMismatch()
423 annotateStartParameter(const ExplodedNode *N, SymbolRef Sym, in annotateStartParameter()
453 RefCountReportVisitor::VisitNode(const ExplodedNode *N, BugReporterContext &BRC, in VisitNode()
476 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIBugReporter.h | 45 const ExplodedNode *const ExplNode,
56 const ExplodedNode *const ExplNode,
67 const ExplodedNode *const ExplNode,
92 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
|