Home
last modified time | relevance | path

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

1234

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDExprEngine.h210 void GenerateAutoTransition(ExplodedNode *N);
212 void GenerateCallExitNode(ExplodedNode *N);
223 std::string DumpGraph(ArrayRef<const ExplodedNode *> Nodes,
231 void ViewGraph(ArrayRef<const ExplodedNode *> Nodes);
265 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
272 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
275 void ProcessStmt(const Stmt *S, ExplodedNode *Pred);
277 void ProcessLoopExit(const Stmt* S, ExplodedNode *Pred);
279 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
281 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
[all …]
HDExplodedGraph.h65 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 …]
HDCoreEngine.h66 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 …]
HDCheckerContext.h26 ExplodedNode *Pred;
42 ExplodedNode *pred,
70 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
136 static const MemRegion *getLocationRegionIfPostStore(const ExplodedNode *N) { in getLocationRegionIfPostStore()
164 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
176 ExplodedNode *addTransition(ProgramStateRef State,
177 ExplodedNode *Pred,
185 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
197 ExplodedNode *generateErrorNode(ProgramStateRef State = nullptr,
210 ExplodedNode *
[all …]
HDSubEngine.h36 class ExplodedNode; variable
63 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
71 ExplodedNode *Pred) = 0;
77 ExplodedNode *Pred,
87 ExplodedNode *Pred,
96 ExplodedNode *Pred,
112 ExplodedNode *Pred,
119 ExplodedNode *Pred,
124 ExplodedNode *Pred) = 0;
127 virtual void processCallExit(ExplodedNode *Pred) = 0;
HDWorkList.h28 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()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDExplodedGraph.cpp58 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) { in shouldCollect()
93 const ExplodedNode *pred = *(node->pred_begin()); in shouldCollect()
97 const ExplodedNode *succ = *(node->succ_begin()); in shouldCollect()
155 void ExplodedGraph::collectNode(ExplodedNode *node) { in collectNode()
161 ExplodedNode *pred = *(node->pred_begin()); in collectNode()
162 ExplodedNode *succ = *(node->succ_begin()); in collectNode()
168 node->~ExplodedNode(); in collectNode()
203 using ExplodedNodeVector = BumpVector<ExplodedNode *>;
204 using GroupStorage = llvm::PointerUnion<ExplodedNode *, ExplodedNodeVector *>;
206 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
[all …]
HDCoreEngine.cpp110 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew); in ExecuteWorkList()
146 ExplodedNode *Node = WU.getNode(); in ExecuteWorkList()
154 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem()
181 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
209 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge()
278 ExplodedNode *Pred) { in HandleBlockEntrance()
296 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit()
419 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) { in HandleCallEnter()
425 const CFGBlock * B, ExplodedNode *Pred) { in HandleBranch()
437 ExplodedNode *Pred) { in HandleCleanupTemporaryBranch()
[all …]
HDBugReporterVisitors.cpp165 static bool hasVisibleUpdate(const ExplodedNode *LeftNode, SVal LeftVal, in hasVisibleUpdate()
166 const ExplodedNode *RightNode, SVal RightVal) { in hasVisibleUpdate()
184 const ExplodedNode *N) { in getSValForVar()
208 getConcreteIntegerValue(const Expr *CondVarExpr, const ExplodedNode *N) { in getConcreteIntegerValue()
217 const ExplodedNode *N, in isVarAnInterestingCondition()
232 static bool isInterestingExpr(const Expr *E, const ExplodedNode *N, in isInterestingExpr()
266 const ExplodedNode *N, in wasRegionOfInterestModifiedAt()
298 const ExplodedNode *, in getEndPath() argument
304 const ExplodedNode *, in finalizeVisitor() argument
309 const ExplodedNode *EndPathNode, in getDefaultEndPath()
[all …]
HDExprEngine.cpp627 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()
665 const ExplodedNode *Pred, in shouldRemoveDeadBindings()
689 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead()
769 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) { in ProcessStmt()
799 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) { in ProcessLoopExit()
818 ExplodedNode *Pred) { in ProcessInitializer()
906 ExplodedNode *Pred) { in ProcessImplicitDtor()
933 ExplodedNode *Pred) { in ProcessNewAllocator()
952 ExplodedNode *Pred, in ProcessAutomaticObjDtor()
986 ExplodedNode *Pred, in ProcessDeleteDtor()
[all …]
HDExprEngineCallAndReturn.cpp41 ExplodedNode *Pred) { in processCallEnter()
62 ExplodedNode *Node = G.getNode(Loc, state, false, &isNew); in processCallEnter()
74 const CFGBlock*> getLastStmt(const ExplodedNode *Node) { in getLastStmt()
162 ExplodedNode *Pred, in removeDeadOnEndOfFunction()
203 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
283 ExplodedNode *BindedRetNode = G.getNode(Loc, state, false, &isNew); in processCallExit()
311 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew); in processCallExit()
432 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
465 if (ExplodedNode *N = G.getNode(Loc, State, false, &isNew)) { in REGISTER_MAP_WITH_PROGRAMSTATE()
497 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, in VisitCallExpr()
[all …]
HDExprEngineObjC.cpp22 ExplodedNode *Pred, in VisitLvalObjCIvarRefExpr()
39 ExplodedNode *Pred, in VisitObjCAtSynchronizedStmt()
52 for (ExplodedNode *Pred : dstLocation) { in populateObjCForDestinationSet()
86 ExplodedNode *Pred, in VisitObjCForCollectionStmt()
151 ExplodedNode *Pred, in VisitObjCMessage()
246 ExplodedNode *Pred = *DI; in VisitObjCMessage()
HDBugReporter.cpp96 std::pair<PathDiagnosticCallPiece *, const ExplodedNode *>;
101 llvm::DenseMap<const ExplodedNode *, std::vector<PathDiagnosticPieceRef>>;
116 const ExplodedNode *CurrentNode;
135 const ExplodedNode *ErrorNode,
152 const ExplodedNode *getCurrentNode() const { return CurrentNode; } in getCurrentNode()
210 const ExplodedNode *const ErrorNode;
225 PathSensitiveBugReport *r, const ExplodedNode *ErrorNode,
280 std::string StackHintGeneratorForSymbol::getMessage(const ExplodedNode *N){ in getMessage()
723 const ExplodedNode *N = I.second; in updateStackPiecesWithMessage()
1028 const ExplodedNode *N) { in getStmtBeforeCond()
[all …]
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporterVisitors.h38 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 …]
HDBugReporter.h59 class ExplodedNode; variable
82 virtual std::string getMessage(const ExplodedNode *N) = 0;
102 std::string getMessage(const ExplodedNode *N) override;
298 const ExplodedNode *ErrorNode = nullptr;
351 llvm::SmallSet<const ExplodedNode *, 4> TrackedConditions;
370 const ExplodedNode *errorNode) in PathSensitiveBugReport()
376 const ExplodedNode *errorNode) in PathSensitiveBugReport()
390 const ExplodedNode *errorNode, in PathSensitiveBugReport()
403 const ExplodedNode *getErrorNode() const { return ErrorNode; } in getErrorNode()
507 bool addTrackedCondition(const ExplodedNode *Cond) { in addTrackedCondition()
[all …]
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDValistChecker.cpp58 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 …]
HDExprInspectionChecker.cpp30 ExplodedNode *ExampleNode;
52 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C) const;
53 ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR,
54 ExplodedNode *N) const;
108 ExplodedNode *N = C.getPredecessor(); in getArgumentValueString()
135 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug()
137 ExplodedNode *N = C.generateNonFatalErrorNode(); in reportBug()
142 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug()
144 ExplodedNode *N) const { in reportBug()
265 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
[all …]
HDFuchsiaHandleChecker.cpp182 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
183 CheckerContext &C, ExplodedNode *Pred) const;
191 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
202 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym, in REGISTER_MAP_WITH_PROGRAMSTATE()
210 const ExplodedNode *Pred = N; in REGISTER_MAP_WITH_PROGRAMSTATE()
391 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
478 ExplodedNode *
480 CheckerContext &C, ExplodedNode *Pred) const { in reportLeaks()
481 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState(), Pred); in reportLeaks()
492 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportDoubleRelease()
[all …]
HDMacOSKeychainAPIChecker.cpp113 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
118 ExplodedNode *N,
145 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
230 ExplodedNode *N = C.generateNonFatalErrorNode(State); in generateDeallocatorMismatchReport()
275 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
337 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
448 const ExplodedNode *
449 MacOSKeychainAPIChecker::getAllocationNode(const ExplodedNode *N, in getAllocationNode()
455 const ExplodedNode *AllocNode = N; in getAllocationNode()
474 const AllocationPair &AP, ExplodedNode *N, CheckerContext &C) const { in generateAllocatedDataNotReleasedReport()
[all …]
HDNonNullParamChecker.cpp39 genReportNullAttrNonNull(const ExplodedNode *ErrorN,
43 genReportReferenceToNullPointer(const ExplodedNode *ErrorN,
144 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) { in checkPreCall()
164 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
183 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode, in genReportNullAttrNonNull()
209 const ExplodedNode *ErrorNode, const Expr *ArgE) const { in genReportReferenceToNullPointer()
HDMoveChecker.cpp173 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
217 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
223 const ExplodedNode *getMoveLocation(const ExplodedNode *N,
275 MoveChecker::MovedBugVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
333 const ExplodedNode *MoveChecker::getMoveLocation(const ExplodedNode *N, in getMoveLocation()
338 const ExplodedNode *MoveNode = N; in getMoveLocation()
381 ExplodedNode *N = reportBug(Region, RD, C, MK); in modelUse()
391 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug()
394 if (ExplodedNode *N = misuseCausesCrash(MK) ? C.generateErrorNode() in reportBug()
403 const ExplodedNode *MoveNode = getMoveLocation(N, Region, C); in reportBug()
HDCallAndMessageChecker.cpp74 ExplodedNode *N) const;
94 ExplodedNode *N = C.generateErrorNode(); in emitBadCall()
176 if (ExplodedNode *N = C.generateErrorNode()) { in uninitRefOrPointer()
249 if (ExplodedNode *N = C.generateErrorNode()) { in PreVisitProcessArg()
275 if (ExplodedNode *N = C.generateErrorNode()) { in PreVisitProcessArg()
350 ExplodedNode *N = C.generateErrorNode(); in checkPreStmt()
405 ExplodedNode *N = C.generateErrorNode(); in checkPreCall()
460 if (ExplodedNode *N = C.generateErrorNode()) { in checkPreObjCMessage()
505 ExplodedNode *N) const { in emitNilReceiverBug()
578 if (ExplodedNode *N = C.generateErrorNode(state, &Tag)) in HandleNilReceiver()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
HDRetainCountDiagnostics.cpp328 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
333 const ExplodedNode *N,
342 const ExplodedNode *N,
352 static const ExplodedNode *getCalleeNode(const ExplodedNode *Pred) { in getCalleeNode()
360 const ExplodedNode *N = Pred; in getCalleeNode()
372 annotateConsumedSummaryMismatch(const ExplodedNode *N, in annotateConsumedSummaryMismatch()
377 const ExplodedNode *CN = getCalleeNode(N); in annotateConsumedSummaryMismatch()
422 annotateStartParameter(const ExplodedNode *N, SymbolRef Sym, in annotateStartParameter()
452 RefCountReportVisitor::VisitNode(const ExplodedNode *N, BugReporterContext &BRC, in VisitNode()
477 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()
[all …]
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
HDMPIBugReporter.h45 const ExplodedNode *const ExplNode,
56 const ExplodedNode *const ExplNode,
67 const ExplodedNode *const ExplNode,
92 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
HDMPIBugReporter.cpp26 const ExplodedNode *const ExplNode, in reportDoubleNonblocking()
51 const ExplodedNode *const ExplNode, in reportMissingWait()
71 const ExplodedNode *const ExplNode, in reportUnmatchedWait()
88 MPIBugReporter::RequestNodeVisitor::VisitNode(const ExplodedNode *N, in VisitNode()

1234