Home
last modified time | relevance | path

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

12345

/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h85 class ExplodedNode; variable
326 ExplodedNode *Pred);
332 ExplodedNode *Pred,
372 ExplodedNode *Pred,
382 ExplodedNode *Pred);
386 void processCallExit(ExplodedNode *Pred);
454 ExplodedNode *Pred,
681 ExplodedNode *Pred,
767 ExplodedNode *Pred,
810 const ExplodedNode *Pred,
[all …]
H A DExplodedGraph.h96 ExplodedNode * const *begin() const;
98 ExplodedNode * const *end() const;
209 ExplodedNode *getFirstPred() { in getFirstPred()
217 ExplodedNode *getFirstSucc() { in getFirstSucc()
301 llvm::DenseMap<const ExplodedNode *, const ExplodedNode *>;
370 ExplodedNode *addRoot(ExplodedNode *V) { in addRoot()
376 ExplodedNode *addEndOfPath(ExplodedNode *V) { in addEndOfPath()
390 using NodeTy = ExplodedNode;
422 using NodeMap = llvm::DenseMap<const ExplodedNode *, ExplodedNode *>;
463 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet()
[all …]
H A DCoreEngine.h110 ExplodedNode *Pred);
121 ExplodedNode *Pred);
127 ExplodedNode *Pred);
132 ExplodedNode *generateCallExitBeginNode(ExplodedNode *N,
349 SmallVector<ExplodedNode*, 2> sinksGenerated;
364 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
411 ExplodedNode *generateNode(const Stmt *S,
421 ExplodedNode *generateSink(const Stmt *S,
486 ExplodedNode *Pred;
521 ExplodedNode *generateNode(const iterator &I,
[all …]
H A DCheckerContext.h27 ExplodedNode *Pred;
43 ExplodedNode *pred,
71 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
181 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
189 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
224 ExplodedNode *generateErrorNode(ProgramStateRef State,
225 ExplodedNode *Pred,
238 ExplodedNode *
253 ExplodedNode *
255 ExplodedNode *Pred,
[all …]
H A DWorkList.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-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp166 node->~ExplodedNode(); in collectNode()
204 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
210 void ExplodedNode::NodeGroup::replaceNode(ExplodedNode *node) { in replaceNode()
214 assert(Storage.is<ExplodedNode *>()); in replaceNode()
216 assert(Storage.is<ExplodedNode *>()); in replaceNode()
219 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode()
225 assert(Storage.is<ExplodedNode *>()); in addNode()
233 ExplodedNode *Old = Storage.get<ExplodedNode *>(); in addNode()
259 ExplodedNode * const *ExplodedNode::NodeGroup::begin() const { in begin()
271 ExplodedNode * const *ExplodedNode::NodeGroup::end() const { in end()
[all …]
H A DCoreEngine.cpp157 ExplodedNode *Node = WU.getNode(); in ExecuteWorkList()
209 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
527 ExplodedNode *Pred) { in generateNode()
542 void CoreEngine::enqueueStmtNode(ExplodedNode *N, in enqueueStmtNode()
592 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N, in generateCallExitBeginNode()
676 ExplodedNode*
681 ExplodedNode *Succ = in generateNode()
695 ExplodedNode*
699 ExplodedNode *Succ = in generateCaseStmtNode()
710 ExplodedNode*
[all …]
H A DBugReporterVisitors.cpp399 static const ExplodedNode *getMatchingCallExitEnd(const ExplodedNode *N) { in getMatchingCallExitEnd()
420 const ExplodedNode *const CallExitBeginN) { in findModifyingFrames()
774 const ExplodedNode *CurrN, const ExplodedNode *CallExitBeginN) { in wasModifiedBeforeCallExit()
935 const ExplodedNode *N, const MemRegion *R, in addMacroVisitorIfNecessary()
1526 const ExplodedNode *StoreSite = nullptr; in VisitNode()
1527 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()
1837 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode()
1910 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()
1995 const ExplodedNode *Origin;
2159 const ExplodedNode *NI = N; in peelOffOuterExpr()
[all …]
H A DExprEngineCallAndReturn.cpp45 ExplodedNode *Pred) { in processCallEnter()
66 ExplodedNode *Node = G.getNode(Loc, state, false, &isNew); in processCallEnter()
166 ExplodedNode *Pred, in removeDeadOnEndOfFunction()
254 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
377 for (ExplodedNode *N : CleanedNodes) { in processCallExit()
404 for (ExplodedNode *I : DstPostPostCallCallback) { in processCallExit()
564 if (ExplodedNode *N = G.getNode(Loc, State, false, &isNew)) { in inlineCall()
617 for (ExplodedNode *N : dstPreVisit) { in VisitCallExpr()
696 for (ExplodedNode *I : dstCallEvaluated) in evalCall()
710 for (ExplodedNode *I : dstPostCall) { in evalCall()
[all …]
H A DExprEngineCXX.cpp90 for (ExplodedNode *N : Dst) { in performTrivialCopy()
748 for (ExplodedNode *N : DstPreVisit) { in handleConstructor()
784 for (ExplodedNode *N : DstPreCall) in handleConstructor()
788 for (ExplodedNode *N : DstPreCall) in handleConstructor()
820 for (ExplodedNode *N : DstEvaluated) { in handleConstructor()
832 for (ExplodedNode *I : DstEvaluatedPostProcessed) in handleConstructor()
916 for (ExplodedNode *N : DstPreCall) in VisitCXXDestructor()
941 for (ExplodedNode *I : DstPreCall) { in VisitCXXNewAllocatorCall()
951 for (ExplodedNode *I : DstPostCall) { in VisitCXXNewAllocatorCall()
990 for (ExplodedNode *I : DstPostPostCallCallback) { in VisitCXXNewAllocatorCall()
[all …]
H A DExprEngineC.cpp136 for (ExplodedNode *N : Tmp) { in VisitBinaryOperator()
257 ExplodedNode* Pred) { in handleLValueBitCast()
290 for (ExplodedNode *subExprNode : dstPreStmt) { in VisitCast()
306 for (ExplodedNode *Pred : dstPreStmt) { in VisitCast()
594 ExplodedNode *N = *I; in VisitDeclStmt()
602 ExplodedNode *UpdatedN = N; in VisitDeclStmt()
672 ExplodedNode *N = Pred; in VisitLogicalExpr()
866 ExplodedNode *Pred, in VisitUnaryExprOrTypeTraitExpr()
877 for (ExplodedNode *N : CheckedSet) { in VisitUnaryExprOrTypeTraitExpr()
930 for (ExplodedNode *N : CheckedSet) { in VisitUnaryOperator()
[all …]
H A DExprEngineObjC.cpp22 ExplodedNode *Pred, in VisitLvalObjCIvarRefExpr()
39 ExplodedNode *Pred, in VisitObjCAtSynchronizedStmt()
52 for (ExplodedNode *Pred : dstLocation) { in populateObjCForDestinationSet()
84 ExplodedNode *Pred, in VisitObjCForCollectionStmt()
148 ExplodedNode *Pred, in VisitObjCMessage()
256 ExplodedNode *Pred = *DI; in VisitObjCMessage()
H A DExprEngine.cpp1602 ExplodedNode *CleanPred = in ProcessTemporaryDtor()
1671 for (ExplodedNode *Node : PreVisit) { in VisitCXXBindTemporaryExpr()
2430 ExplodedNode *BeforeProcessingCall = nullptr; in replayWithoutInlining()
2533 const ExplodedNode *Sink = in processCFGBlockEntrance()
2778 for (ExplodedNode *PredN : CheckersOutSet) { in processBranch()
3570 ExplodedNode *Pred, in evalBind()
3628 ExplodedNode *Pred, in evalStore()
3652 ExplodedNode *Pred, in evalLoad()
3836 const ExplodedNode *N, in traverseHiddenNodes()
3874 [&](const ExplodedNode *OtherNode) { in getNodeLabel()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h43 class ExplodedNode; variable
149 const ExplodedNode *StoreSite;
415 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
424 bool isUnderconstrained(const ExplodedNode *N) const;
436 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
463 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
565 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
618 void addConstraints(const ExplodedNode *N,
714 const ExplodedNode *N) = 0;
724 const ExplodedNode *N) = 0;
[all …]
H A DBugReporter.h60 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()
374 const ExplodedNode *errorNode) in PathSensitiveBugReport()
387 const ExplodedNode *errorNode, in PathSensitiveBugReport()
394 const ExplodedNode *errorNode,
515 bool addTrackedCondition(const ExplodedNode *Cond) { in addTrackedCondition()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DValistChecker.cpp59 const ExplodedNode *getStartCallSite(const ExplodedNode *N,
92 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()
284 const ExplodedNode *StartNode = getStartCallSite(N, Reg); in reportLeakedVALists()
324 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
332 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
[all …]
H A DMacOSKeychainAPIChecker.cpp110 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
115 ExplodedNode *N,
142 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
226 ExplodedNode *N = C.generateNonFatalErrorNode(State); in generateDeallocatorMismatchReport()
270 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
330 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
440 const ExplodedNode *
441 MacOSKeychainAPIChecker::getAllocationNode(const ExplodedNode *N, in getAllocationNode()
447 const ExplodedNode *AllocNode = N; in getAllocationNode()
477 const ExplodedNode *AllocNode = getAllocationNode(N, AP.first, C); in generateAllocatedDataNotReleasedReport()
[all …]
H A DFuchsiaHandleChecker.cpp210 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
211 CheckerContext &C, ExplodedNode *Pred) const;
222 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
233 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym, in REGISTER_MAP_WITH_PROGRAMSTATE()
241 const ExplodedNode *Pred = N; in REGISTER_MAP_WITH_PROGRAMSTATE()
522 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
610 ExplodedNode *
624 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportDoubleRelease()
632 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUnownedRelease()
640 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUseAfterFree()
[all …]
H A DNonNullParamChecker.cpp44 genReportNullAttrNonNull(const ExplodedNode *ErrorN, const Expr *ArgE,
47 genReportReferenceToNullPointer(const ExplodedNode *ErrorN,
182 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) { in checkPreCall()
202 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
280 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode, in genReportNullAttrNonNull()
299 const ExplodedNode *ErrorNode, const Expr *ArgE) const { in genReportReferenceToNullPointer()
H A DMoveChecker.cpp172 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
217 ExplodedNode *tryToReportBug(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 = tryToReportBug(Region, RD, C, MK); in modelUse()
391 ExplodedNode *MoveChecker::tryToReportBug(const MemRegion *Region, in tryToReportBug()
395 if (ExplodedNode *N = misuseCausesCrash(MK) ? C.generateErrorNode() in tryToReportBug()
399 const ExplodedNode *MoveNode = getMoveLocation(N, Region, C); in tryToReportBug()
H A DExprInspectionChecker.cpp33 ExplodedNode *ExampleNode;
61 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C,
63 ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR, ExplodedNode *N,
138 ExplodedNode *N = C.getPredecessor(); in getArgumentValueString()
165 ExplodedNode *
168 ExplodedNode *N = C.generateNonFatalErrorNode(); in reportBug()
173 ExplodedNode *
175 ExplodedNode *N, in reportBug()
391 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
397 if (ExplodedNode *BugNode = reportBug("SYMBOL DEAD", C)) in checkDeadSymbols()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp325 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
330 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()
476 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()
657 const ExplodedNode* N;
660 AllocationInfo(const ExplodedNode *InN, in AllocationInfo()
669 const ExplodedNode *AllocationNode = N; in GetAllocationSite()
[all …]
H A DRetainCountDiagnostics.h56 ExplodedNode *n, SymbolRef sym,
60 ExplodedNode *n, SymbolRef sym,
84 void findBindingToReport(CheckerContext &Ctx, ExplodedNode *Node);
87 RefLeakReport(const RefCountBug &D, const LangOptions &LOpts, ExplodedNode *n,
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h44 const ExplodedNode *const ExplNode,
55 const ExplodedNode *const ExplNode,
66 const ExplodedNode *const ExplNode,
89 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
H A DMPIBugReporter.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()

12345