Home
last modified time | relevance | path

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

12345

/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h88 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 …]
H A DExplodedGraph.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 …]
H A DCoreEngine.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 …]
H A DCheckerContext.h26 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 …]
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()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp57 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 …]
H A DCoreEngine.cpp109 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()
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 …]
H A DBugReporterVisitors.cpp157 getLocationRegionIfReference(const Expr *E, const ExplodedNode *N, in getLocationRegionIfReference()
186 static bool hasVisibleUpdate(const ExplodedNode *LeftNode, SVal LeftVal, in hasVisibleUpdate()
187 const ExplodedNode *RightNode, SVal RightVal) { in hasVisibleUpdate()
205 const ExplodedNode *N) { in getSValForVar()
229 getConcreteIntegerValue(const Expr *CondVarExpr, const ExplodedNode *N) { in getConcreteIntegerValue()
238 const ExplodedNode *N, in isVarAnInterestingCondition()
253 static bool isInterestingExpr(const Expr *E, const ExplodedNode *N, in isInterestingExpr()
287 const ExplodedNode *N, in wasRegionOfInterestModifiedAt()
319 const ExplodedNode *, in getEndPath() argument
325 const ExplodedNode *, in finalizeVisitor() argument
[all …]
H A DExprEngineCallAndReturn.cpp44 ExplodedNode *Pred) { in processCallEnter()
65 ExplodedNode *Node = G.getNode(Loc, state, false, &isNew); in processCallEnter()
77 const CFGBlock*> getLastStmt(const ExplodedNode *Node) { in getLastStmt()
165 ExplodedNode *Pred, in removeDeadOnEndOfFunction()
206 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
286 ExplodedNode *BindedRetNode = G.getNode(Loc, state, false, &isNew); in processCallExit()
314 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew); 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()
[all …]
H A DExprEngine.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 …]
H A DExprEngineCXX.cpp27 ExplodedNode *Pred, in CreateCXXTemporaryObject()
40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
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()
766 ExplodedNode *Pred, in VisitCXXNewAllocatorCall()
783 for (ExplodedNode *I : DstPreCall) { in VisitCXXNewAllocatorCall()
[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()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitors.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 …]
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,
404 const ExplodedNode *getErrorNode() const { return ErrorNode; } in getErrorNode()
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DValistChecker.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 …]
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()
474 const AllocationPair &AP, ExplodedNode *N, CheckerContext &C) const { 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 *
615 CheckerContext &C, ExplodedNode *Pred) const { in reportLeaks()
616 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState(), Pred); in reportLeaks()
627 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportDoubleRelease()
[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 DStreamChecker.cpp344 ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
345 CheckerContext &C, ExplodedNode *Pred) const;
386 static const ExplodedNode *getAcquisitionSite(const ExplodedNode *N,
400 const ExplodedNode *StreamChecker::getAcquisitionSite(const ExplodedNode *N, in getAcquisitionSite()
409 const ExplodedNode *Pred = N; in getAcquisitionSite()
829 if (ExplodedNode *N = C.generateErrorNode(StateNull)) { in ensureStreamNonNull()
853 ExplodedNode *N = C.generateErrorNode(); in ensureStreamOpened()
869 ExplodedNode *N = C.generateErrorNode(); in ensureStreamOpened()
907 ExplodedNode *N = C.generateNonFatalErrorNode(State); in ensureNoFilePositionIndeterminate()
919 ExplodedNode *N = C.generateErrorNode(State); in ensureNoFilePositionIndeterminate()
[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()
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()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp331 PathDiagnosticPieceRef VisitNode(const ExplodedNode *N,
336 const ExplodedNode *N,
346 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()
429 annotateStartParameter(const ExplodedNode *N, SymbolRef Sym, in annotateStartParameter()
459 RefCountReportVisitor::VisitNode(const ExplodedNode *N, BugReporterContext &BRC, in VisitNode()
482 const ExplodedNode *PrevNode = N->getFirstPred(); in VisitNode()
[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,
/netbsd-src/external/apache2/llvm/dist/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