Home
last modified time | relevance | path

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

12345

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h88 class ExplodedNode; variable
234 void GenerateAutoTransition(ExplodedNode *N);
236 void GenerateCallExitNode(ExplodedNode *N);
329 ExplodedNode *Pred,
369 ExplodedNode *Pred,
379 ExplodedNode *Pred);
383 void processCallExit(ExplodedNode *Pred);
685 ExplodedNode *Pred,
757 ExplodedNode *Pred,
766 ExplodedNode *Pred,
[all …]
H A DExplodedGraph.h95 ExplodedNode * const *begin() const;
97 ExplodedNode * const *end() const;
210 ExplodedNode *getFirstPred() { in getFirstPred()
218 ExplodedNode *getFirstSucc() { in getFirstSucc()
302 llvm::DenseMap<const ExplodedNode *, const ExplodedNode *>;
371 ExplodedNode *addRoot(ExplodedNode *V) { in addRoot()
377 ExplodedNode *addEndOfPath(ExplodedNode *V) { in addEndOfPath()
391 using NodeTy = ExplodedNode;
427 using NodeMap = llvm::DenseMap<const ExplodedNode *, ExplodedNode *>;
468 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet()
[all …]
H A DCoreEngine.h106 ExplodedNode *Pred);
117 ExplodedNode *Pred);
123 ExplodedNode *Pred);
128 ExplodedNode *generateCallExitBeginNode(ExplodedNode *N,
346 SmallVector<ExplodedNode*, 2> sinksGenerated;
361 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
408 ExplodedNode *generateNode(const Stmt *S,
418 ExplodedNode *generateSink(const Stmt *S,
483 ExplodedNode *Pred;
513 ExplodedNode *generateNode(const iterator &I,
[all …]
H A DCheckerContext.h26 ExplodedNode *Pred;
42 ExplodedNode *pred,
70 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
178 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
186 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
219 ExplodedNode *
234 ExplodedNode *
236 ExplodedNode *Pred,
374 ExplodedNode *addTransitionImpl(ProgramStateRef State,
376 ExplodedNode *P = nullptr,
[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-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp167 node->~ExplodedNode(); in collectNode()
205 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
211 void ExplodedNode::NodeGroup::replaceNode(ExplodedNode *node) { in replaceNode()
215 assert(Storage.is<ExplodedNode *>()); in replaceNode()
217 assert(Storage.is<ExplodedNode *>()); in replaceNode()
220 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode()
226 assert(Storage.is<ExplodedNode *>()); in addNode()
234 ExplodedNode *Old = Storage.get<ExplodedNode *>(); in addNode()
261 ExplodedNode * const *ExplodedNode::NodeGroup::begin() const { in begin()
273 ExplodedNode * const *ExplodedNode::NodeGroup::end() const { in end()
[all …]
H A DCoreEngine.cpp145 ExplodedNode *Node = WU.getNode(); in ExecuteWorkList()
180 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
499 ExplodedNode *Pred) { in generateNode()
514 void CoreEngine::enqueueStmtNode(ExplodedNode *N, in enqueueStmtNode()
564 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N, in generateCallExitBeginNode()
648 ExplodedNode*
653 ExplodedNode *Succ = in generateNode()
667 ExplodedNode*
671 ExplodedNode *Succ = in generateCaseStmtNode()
682 ExplodedNode*
[all …]
H A DBugReporterVisitors.cpp427 void findModifyingFrames(const ExplodedNode *N);
852 const ExplodedNode *N, const MemRegion *R, in addMacroVisitorIfNecessary()
1366 const ExplodedNode *StoreSite = nullptr; in VisitNode()
1367 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()
1595 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode()
1673 const ExplodedNode *Pred = Succ->getFirstPred(); in VisitNode()
1758 const ExplodedNode *Origin;
1902 const ExplodedNode *NI = N; in peelOffOuterExpr()
1947 static const ExplodedNode* findNodeForExpression(const ExplodedNode *N, in findNodeForExpression()
2015 const ExplodedNode *LVNode, in handle()
[all …]
H A DExprEngineCallAndReturn.cpp44 ExplodedNode *Pred) { in processCallEnter()
65 ExplodedNode *Node = G.getNode(Loc, state, false, &isNew); in processCallEnter()
165 ExplodedNode *Pred, in removeDeadOnEndOfFunction()
206 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
335 for (ExplodedNode *I : DstPostPostCallCallback) { 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()
551 ExplodedNode *Pred, in finishArgumentConstruction()
593 for (ExplodedNode *I : dstCallEvaluated) in evalCall()
607 for (ExplodedNode *I : dstPostCall) { in evalCall()
[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()
243 ExplodedNode *Pred = *DI; in VisitObjCMessage()
H A DExprEngine.cpp1108 ExplodedNode *CleanPred = in ProcessTemporaryDtor()
1161 for (ExplodedNode *Node : PreVisit) { in VisitCXXBindTemporaryExpr()
1902 ExplodedNode *BeforeProcessingCall = nullptr; in replayWithoutInlining()
2005 const ExplodedNode *Sink = in processCFGBlockEntrance()
2252 for (ExplodedNode *PredN : CheckersOutSet) { in processBranch()
2880 ExplodedNode *Pred, in evalBind()
2938 ExplodedNode *Pred, in evalStore()
2962 ExplodedNode *Pred, in evalLoad()
3150 const ExplodedNode *N, in traverseHiddenNodes()
3188 [&](const ExplodedNode *OtherNode) { in getNodeLabel()
[all …]
H A DExprEngineCXX.cpp27 ExplodedNode *Pred, in CreateCXXTemporaryObject()
460 ExplodedNode *Pred, in handleConstructor()
662 for (ExplodedNode *N : DstEvaluated) { in handleConstructor()
674 for (ExplodedNode *I : DstEvaluatedPostProcessed) in handleConstructor()
687 ExplodedNode *Pred, in VisitCXXConstructExpr()
693 const CXXInheritedCtorInitExpr *CE, ExplodedNode *Pred, in VisitCXXInheritedCtorInitExpr()
702 ExplodedNode *Pred, in VisitCXXDestructor()
783 for (ExplodedNode *I : DstPreCall) { in VisitCXXNewAllocatorCall()
793 for (ExplodedNode *I : DstPostCall) { in VisitCXXNewAllocatorCall()
827 for (ExplodedNode *I : DstPostPostCallCallback) { in VisitCXXNewAllocatorCall()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h41 class ExplodedNode; variable
141 const ExplodedNode *StoreSite;
407 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
413 bool isUnderconstrained(const ExplodedNode *N) const;
425 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
452 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
509 const ExplodedNode *N,
558 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
605 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
611 void addConstraints(const ExplodedNode *N,
[all …]
H A DBugReporter.h61 class ExplodedNode; variable
84 virtual std::string getMessage(const ExplodedNode *N) = 0;
104 std::string getMessage(const ExplodedNode *N) override;
300 const ExplodedNode *ErrorNode = nullptr;
353 llvm::SmallSet<const ExplodedNode *, 4> TrackedConditions;
372 const ExplodedNode *errorNode) in PathSensitiveBugReport()
376 const ExplodedNode *errorNode) in PathSensitiveBugReport()
389 const ExplodedNode *errorNode, in PathSensitiveBugReport()
396 const ExplodedNode *errorNode,
517 bool addTrackedCondition(const ExplodedNode *Cond) { in addTrackedCondition()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DValistChecker.cpp58 const ExplodedNode *getStartCallSite(const ExplodedNode *N,
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()
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.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()
486 const ExplodedNode *AllocNode = getAllocationNode(N, AP.first, C); in generateAllocatedDataNotReleasedReport()
[all …]
H A DFuchsiaHandleChecker.cpp209 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
210 CheckerContext &C, ExplodedNode *Pred) const;
221 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
232 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym, in REGISTER_MAP_WITH_PROGRAMSTATE()
240 const ExplodedNode *Pred = N; in REGISTER_MAP_WITH_PROGRAMSTATE()
525 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
613 ExplodedNode *
627 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportDoubleRelease()
635 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUnownedRelease()
643 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUseAfterFree()
[all …]
H A DExprInspectionChecker.cpp32 ExplodedNode *ExampleNode;
58 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C,
60 ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR, ExplodedNode *N,
130 ExplodedNode *N = C.getPredecessor(); in getArgumentValueString()
157 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug()
160 ExplodedNode *N = C.generateNonFatalErrorNode(); in reportBug()
165 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug()
166 BugReporter &BR, ExplodedNode *N, in reportBug()
350 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
357 if (ExplodedNode *BugNode = reportBug("SYMBOL DEAD", C)) in checkDeadSymbols()
[all …]
H A DNonNullParamChecker.cpp42 genReportNullAttrNonNull(const ExplodedNode *ErrorN, const Expr *ArgE,
45 genReportReferenceToNullPointer(const ExplodedNode *ErrorN,
180 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) { in checkPreCall()
200 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
278 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode, in genReportNullAttrNonNull()
304 const ExplodedNode *ErrorNode, const Expr *ArgE) const { in genReportReferenceToNullPointer()
H A DStreamChecker.cpp415 static const ExplodedNode *getAcquisitionSite(const ExplodedNode *N,
432 const ExplodedNode *StreamChecker::getAcquisitionSite(const ExplodedNode *N, in getAcquisitionSite()
441 const ExplodedNode *Pred = N; in getAcquisitionSite()
875 if (ExplodedNode *N = C.generateErrorNode(StateNull)) { in ensureStreamNonNull()
902 ExplodedNode *N = C.generateErrorNode(); in ensureStreamOpened()
918 ExplodedNode *N = C.generateErrorNode(); in ensureStreamOpened()
956 ExplodedNode *N = C.generateNonFatalErrorNode(State); in ensureNoFilePositionIndeterminate()
968 ExplodedNode *N = C.generateErrorNode(State); in ensureNoFilePositionIndeterminate()
990 if (ExplodedNode *N = C.generateNonFatalErrorNode(State)) { in ensureFseekWhenceCorrect()
1017 ExplodedNode *
[all …]
H A DMoveChecker.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()
398 const ExplodedNode *MoveNode = getMoveLocation(N, Region, C); in reportBug()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp331 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
336 const ExplodedNode *N,
359 static const ExplodedNode *getCalleeNode(const ExplodedNode *Pred) { in getCalleeNode()
367 const ExplodedNode *N = Pred; in getCalleeNode()
379 annotateConsumedSummaryMismatch(const ExplodedNode *N, in annotateConsumedSummaryMismatch()
384 const ExplodedNode *CN = getCalleeNode(N); in annotateConsumedSummaryMismatch()
482 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()
661 const ExplodedNode* N;
664 AllocationInfo(const ExplodedNode *InN, in AllocationInfo()
673 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-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h45 const ExplodedNode *const ExplNode,
56 const ExplodedNode *const ExplNode,
67 const ExplodedNode *const ExplNode,
92 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