Home
last modified time | relevance | path

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

1234

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h203 void GenerateAutoTransition(ExplodedNode *N);
205 void GenerateCallExitNode(ExplodedNode *N);
298 ExplodedNode *Pred,
316 ExplodedNode *Pred,
338 ExplodedNode *Pred,
408 ExplodedNode *Pred,
636 ExplodedNode *Pred,
679 ExplodedNode *Pred,
688 ExplodedNode *Pred,
712 const ExplodedNode *Pred,
[all …]
H A DExplodedGraph.h96 ExplodedNode * const *begin() const;
98 ExplodedNode * const *end() const;
205 ExplodedNode *getFirstPred() { in getFirstPred()
213 ExplodedNode *getFirstSucc() { in getFirstSucc()
262 llvm::DenseMap<const ExplodedNode *, const ExplodedNode *>;
330 ExplodedNode *addRoot(ExplodedNode *V) { in addRoot()
336 ExplodedNode *addEndOfPath(ExplodedNode *V) { in addEndOfPath()
350 using NodeTy = ExplodedNode;
386 using NodeMap = llvm::DenseMap<const ExplodedNode *, ExplodedNode *>;
427 ExplodedNodeSet(ExplodedNode *N) { in ExplodedNodeSet()
[all …]
H A DCoreEngine.h101 ExplodedNode *Pred);
112 ExplodedNode *Pred);
118 ExplodedNode *Pred);
121 ExplodedNode *generateCallExitBeginNode(ExplodedNode *N,
337 SmallVector<ExplodedNode*, 2> sinksGenerated;
352 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
399 ExplodedNode *generateNode(const Stmt *S,
409 ExplodedNode *generateSink(const Stmt *S,
474 ExplodedNode *Pred;
504 ExplodedNode *generateNode(const iterator &I,
[all …]
H A DCheckerContext.h27 ExplodedNode *Pred;
43 ExplodedNode *pred,
71 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
165 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
177 ExplodedNode *addTransition(ProgramStateRef State,
178 ExplodedNode *Pred,
186 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
211 ExplodedNode *
273 ExplodedNode *addTransitionImpl(ProgramStateRef State,
275 ExplodedNode *P = nullptr,
[all …]
H A DSubEngine.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;
H A DWorkList.h29 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()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp168 node->~ExplodedNode(); in collectNode()
206 void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { in addPredecessor()
212 void ExplodedNode::NodeGroup::replaceNode(ExplodedNode *node) { in replaceNode()
216 assert(Storage.is<ExplodedNode *>()); in replaceNode()
218 assert(Storage.is<ExplodedNode *>()); in replaceNode()
221 void ExplodedNode::NodeGroup::addNode(ExplodedNode *N, ExplodedGraph &G) { in addNode()
227 assert(Storage.is<ExplodedNode *>()); in addNode()
235 ExplodedNode *Old = Storage.get<ExplodedNode *>(); in addNode()
262 ExplodedNode * const *ExplodedNode::NodeGroup::begin() const { in begin()
274 ExplodedNode * const *ExplodedNode::NodeGroup::end() const { in end()
[all …]
H A DCoreEngine.cpp147 ExplodedNode *Node = WU.getNode(); in ExecuteWorkList()
182 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
447 ExplodedNode *Pred) { in generateNode()
462 void CoreEngine::enqueueStmtNode(ExplodedNode *N, in enqueueStmtNode()
512 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N, in generateCallExitBeginNode()
596 ExplodedNode*
601 ExplodedNode *Succ = in generateNode()
615 ExplodedNode*
619 ExplodedNode *Succ = in generateCaseStmtNode()
630 ExplodedNode*
[all …]
H A DBugReporterVisitors.cpp242 const ExplodedNode *N, in wasRegionOfInterestModifiedAt()
494 void findModifyingFrames(const ExplodedNode *N) { in findModifyingFrames()
701 const ExplodedNode *N, const MemRegion *R, in addMacroVisitorIfNecessary()
849 visitNodeInitial(const ExplodedNode *N, in visitNodeInitial()
952 visitNodeMaybeUnsuppress(const ExplodedNode *N, in visitNodeMaybeUnsuppress()
1185 const ExplodedNode *StoreSite = nullptr; in VisitNode()
1354 const ExplodedNode *PrevN = N->getFirstPred(); in VisitNode()
1543 const ExplodedNode *NI = N; in peelOffOuterExpr()
1588 static const ExplodedNode* findNodeForExpression(const ExplodedNode *N, in findNodeForExpression()
1772 const ExplodedNode *N = BR.getErrorNode(); in registerStatementVarDecls()
[all …]
H A DExprEngine.cpp1056 ExplodedNode *CleanPred = in ProcessTemporaryDtor()
1111 for (ExplodedNode *Node : PreVisit) { in VisitCXXBindTemporaryExpr()
1794 ExplodedNode *BeforeProcessingCall = nullptr; in replayWithoutInlining()
1897 const ExplodedNode *Sink = in processCFGBlockEntrance()
2709 ExplodedNode *Pred, in evalBind()
2791 ExplodedNode *Pred, in evalLoad()
2974 const ExplodedNode *N, in traverseHiddenNodes()
2978 const ExplodedNode *FirstHiddenNode = N; in traverseHiddenNodes()
3001 auto Noop = [](const ExplodedNode*){}; in getNodeAttributes() argument
3026 [&](const ExplodedNode *OtherNode) { in getNodeLabel()
[all …]
H A DBugReporter.cpp537 const ExplodedNode *N = I.second; in updateStackPiecesWithMessage()
554 const ExplodedNode *N, in generateDiagForSwitchOP()
1911 const ExplodedNode *ErrorNode, in generatePathDiagnosticForConsumer()
2060 const ExplodedNode *N = getErrorNode(); in getDeclWithIssue()
2278 const ExplodedNode *ErrorNode;
2304 bool operator()(const ExplodedNode *LHS, const ExplodedNode *RHS) const { in operator ()()
2354 std::queue<const ExplodedNode *> WS; in TrimmedGraph()
2393 const ExplodedNode *OrigN; in popNextReportGraph()
2405 ExplodedNode *Succ = nullptr; in popNextReportGraph()
2741 const ExplodedNode *N;
[all …]
H A DExprEngineCallAndReturn.cpp41 ExplodedNode *Pred) { in processCallEnter()
62 ExplodedNode *Node = G.getNode(Loc, state, false, &isNew); in processCallEnter()
162 ExplodedNode *Pred, in removeDeadOnEndOfFunction()
203 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
311 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew); in processCallExit()
413 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
447 if (ExplodedNode *N = G.getNode(Loc, State, false, &isNew)) { in REGISTER_MAP_WITH_PROGRAMSTATE()
533 ExplodedNode *Pred, in finishArgumentConstruction()
551 void ExprEngine::evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, in evalCall()
649 ExplodedNode *Pred, in conservativeEvalCall()
[all …]
H A DExprEngineObjC.cpp23 ExplodedNode *Pred, in VisitLvalObjCIvarRefExpr()
40 ExplodedNode *Pred, in VisitObjCAtSynchronizedStmt()
53 for (ExplodedNode *Pred : dstLocation) { in populateObjCForDestinationSet()
87 ExplodedNode *Pred, in VisitObjCForCollectionStmt()
152 ExplodedNode *Pred, in VisitObjCMessage()
247 ExplodedNode *Pred = *DI; in VisitObjCMessage()
H A DExprEngineC.cpp42 ExplodedNode *Pred, in VisitBinaryOperator()
259 ExplodedNode* Pred) { in handleLValueBitCast()
284 StmtNodeBuilder &Bldr, ExplodedNode* Pred) { in handleLVectorSplat()
307 ExplodedNode *subExprNode = *I; in VisitCast()
539 ExplodedNode *Pred, in VisitCompoundLiteralExpr()
582 ExplodedNode *N = *I; in VisitDeclStmt()
590 ExplodedNode *UpdatedN = N; in VisitDeclStmt()
645 ExplodedNode *N = Pred; in VisitLogicalExpr()
697 ExplodedNode *Pred, in VisitInitListExpr()
748 ExplodedNode *Pred, in VisitGuardedExpr()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.h38 class ExplodedNode; variable
61 VisitNode(const ExplodedNode *Succ,
67 const ExplodedNode *EndPathNode,
82 getDefaultEndPath(BugReporterContext &BRC, const ExplodedNode *N,
109 std::shared_ptr<PathDiagnosticPiece> VisitNode(const ExplodedNode *N,
141 bool isUnderconstrained(const ExplodedNode *N) const;
187 VisitTerminator(const Stmt *Term, const ExplodedNode *N,
193 BugReport &R, const ExplodedNode *N);
202 const ExplodedNode *N);
207 BugReport &R, const ExplodedNode *N);
[all …]
H A DBugReporter.h60 class ExplodedNode; variable
84 virtual const ExplodedNode*
85 getOriginalNode(const ExplodedNode *N) = 0;
106 const ExplodedNode *ErrorNode = nullptr;
167 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode) in BugReport()
171 const ExplodedNode *errornode) in BugReport()
185 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode, in BugReport()
207 const ExplodedNode *getErrorNode() const { return ErrorNode; } in getErrorNode()
552 const ExplodedNode *getOriginalNode(const ExplodedNode *N) override { in getOriginalNode()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DValistChecker.cpp59 const ExplodedNode *getStartCallSite(const ExplodedNode *N,
213 if (ExplodedNode *N = C.addTransition(State)) in checkDeadSymbols()
222 const ExplodedNode *
223 ValistChecker::getStartCallSite(const ExplodedNode *N, in getStartCallSite()
226 const ExplodedNode *StartCallNode = N; in getStartCallSite()
252 if (ExplodedNode *N = C.generateErrorNode()) { in reportUninitializedAccess()
283 const ExplodedNode *StartNode = getStartCallSite(N, Reg); in reportLeakedVALists()
323 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
331 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
344 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
[all …]
H A DExprInspectionChecker.cpp30 ExplodedNode *ExampleNode;
52 ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C) const;
53 ExplodedNode *reportBug(llvm::StringRef Msg, BugReporter &BR,
54 ExplodedNode *N) const;
104 ExplodedNode *N = C.getPredecessor(); in getArgumentValueString()
131 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug()
133 ExplodedNode *N = C.generateNonFatalErrorNode(); in reportBug()
138 ExplodedNode *ExprInspectionChecker::reportBug(llvm::StringRef Msg, in reportBug()
261 ExplodedNode *N = C.getPredecessor(); in checkDeadSymbols()
268 if (ExplodedNode *BugNode = reportBug("SYMBOL DEAD", C)) in checkDeadSymbols()
[all …]
H A DNonNullParamChecker.cpp40 genReportNullAttrNonNull(const ExplodedNode *ErrorN, const Expr *ArgE) const;
42 genReportReferenceToNullPointer(const ExplodedNode *ErrorN,
143 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) { in checkPreCall()
163 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
182 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode, in genReportNullAttrNonNull()
201 const ExplodedNode *ErrorNode, const Expr *ArgE) const { in genReportReferenceToNullPointer()
H A DMacOSKeychainAPIChecker.cpp114 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
143 std::shared_ptr<PathDiagnosticPiece> VisitNode(const ExplodedNode *N,
228 ExplodedNode *N = C.generateNonFatalErrorNode(State); in generateDeallocatorMismatchReport()
273 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
334 ExplodedNode *N = C.generateNonFatalErrorNode(State); in checkPreStmt()
445 const ExplodedNode *
446 MacOSKeychainAPIChecker::getAllocationNode(const ExplodedNode *N, in getAllocationNode()
452 const ExplodedNode *AllocNode = N; in getAllocationNode()
483 const ExplodedNode *AllocNode = getAllocationNode(N, AP.first, C); in generateAllocatedDataNotReleasedReport()
567 ExplodedNode *N = C.generateNonFatalErrorNode(C.getState(), &Tag); in checkDeadSymbols()
[all …]
H A DMoveChecker.cpp172 std::shared_ptr<PathDiagnosticPiece> VisitNode(const ExplodedNode *N,
212 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
218 const ExplodedNode *getMoveLocation(const ExplodedNode *N,
258 MoveChecker::MovedBugVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
315 const ExplodedNode *MoveChecker::getMoveLocation(const ExplodedNode *N, in getMoveLocation()
320 const ExplodedNode *MoveNode = N; in getMoveLocation()
363 ExplodedNode *N = reportBug(Region, RD, C, MK); in modelUse()
373 ExplodedNode *MoveChecker::reportBug(const MemRegion *Region, in reportBug()
376 if (ExplodedNode *N = misuseCausesCrash(MK) ? C.generateErrorNode() in reportBug()
385 const ExplodedNode *MoveNode = getMoveLocation(N, Region, C); in reportBug()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp277 static const ExplodedNode *getCalleeNode(const ExplodedNode *Pred) { in getCalleeNode()
285 const ExplodedNode *N = Pred; in getCalleeNode()
297 annotateConsumedSummaryMismatch(const ExplodedNode *N, in annotateConsumedSummaryMismatch()
302 const ExplodedNode *CN = getCalleeNode(N); in annotateConsumedSummaryMismatch()
354 RefCountReportVisitor::VisitNode(const ExplodedNode *N, in VisitNode()
369 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()
502 const ExplodedNode* N;
505 AllocationInfo(const ExplodedNode *InN, in AllocationInfo()
514 const ExplodedNode *AllocationNode = N; in GetAllocationSite()
626 const ExplodedNode *LeakN = EndN; in getEndPath()
[all …]
H A DRetainCountDiagnostics.h44 ExplodedNode *n, SymbolRef sym,
48 ExplodedNode *n, SymbolRef sym,
72 RefLeakReport(RefCountBug &D, const LangOptions &LOpts, ExplodedNode *n,
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIBugReporter.h46 const ExplodedNode *const ExplNode,
57 const ExplodedNode *const ExplNode,
68 const ExplodedNode *const ExplNode,
93 std::shared_ptr<PathDiagnosticPiece> VisitNode(const ExplodedNode *N,
H A DMPIBugReporter.cpp27 const ExplodedNode *const ExplNode, in reportDoubleNonblocking()
52 const ExplodedNode *const ExplNode, in reportMissingWait()
72 const ExplodedNode *const ExplNode, in reportUnmatchedWait()
89 MPIBugReporter::RequestNodeVisitor::VisitNode(const ExplodedNode *N, in VisitNode()

1234