| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExplodedGraph.h | 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
52 // ExplodedNode is not constified all over the engine because we need to add
55 class ExplodedNode : public llvm::FoldingSetNode {
70 /// store a flag rather than a node list, which ExplodedNode uses to mark
85 ExplodedNode * const *begin() const;
87 ExplodedNode * const *end() const;
96 void addNode(ExplodedNode *N, ExplodedGraph &G);
103 void replaceNode(ExplodedNode *node);
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
176 void addPredecessor(ExplodedNode *V, ExplodedGraph &G)
[all...] |
| ExprEngine.h | 144 void GenerateAutoTransition(ExplodedNode *N);
146 void GenerateCallExitNode(ExplodedNode *N);
153 void ViewGraph(ArrayRef<const ExplodedNode*> Nodes);
187 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
197 void ProcessStmt(const CFGStmt S, ExplodedNode *Pred);
199 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
201 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
203 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
206 ExplodedNode *Pred, ExplodedNodeSet &Dst)
[all...] |
| CoreEngine.h | 52 typedef std::vector<std::pair<BlockEdge, const ExplodedNode*> >
55 typedef std::vector<std::pair<const CFGBlock*, const ExplodedNode*> >
89 ExplodedNode *Pred);
91 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
92 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
93 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
95 void HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred);
97 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
100 ExplodedNode *Pred);
102 const CFGBlock *B, ExplodedNode *Pred)
[all...] |
| WorkList.h | 29 ExplodedNode *node;
35 WorkListUnit(ExplodedNode *N, BlockCounter C,
42 explicit WorkListUnit(ExplodedNode *N, BlockCounter C)
49 ExplodedNode *getNode() const { return node; }
69 void enqueue(ExplodedNode *N, const CFGBlock *B, unsigned idx) {
73 void enqueue(ExplodedNode *N) {
|
| SubEngine.h | 32 class ExplodedNode;
56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
64 ExplodedNode *Pred) = 0;
70 ExplodedNode *Pred,
80 ExplodedNode *Pred,
89 ExplodedNode *Pred,
105 ExplodedNode *Pred,
112 ExplodedNode *Pred) = 0;
116 ExplodedNode *Pred) = 0;
119 virtual void processCallExit(ExplodedNode *Pred) = 0
[all...] |
| CheckerContext.h | 73 ExplodedNode *Pred;
89 ExplodedNode *pred,
117 ExplodedNode *getPredecessor() { return Pred; }
187 static const MemRegion *getLocationRegionIfPostStore(const ExplodedNode *N) {
208 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
220 ExplodedNode *addTransition(ProgramStateRef State,
221 ExplodedNode *Pred,
229 ExplodedNode *generateSink(ProgramStateRef State, ExplodedNode *Pred,
241 ExplodedNode *generateErrorNode(ProgramStateRef State = nullptr
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 28 class ExplodedNode;
62 virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *Succ,
63 const ExplodedNode *Pred,
74 getEndPath(BugReporterContext &BRC, const ExplodedNode *N, BugReport &BR);
80 getDefaultEndPath(BugReporterContext &BRC, const ExplodedNode *N,
124 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
125 const ExplodedNode *PrevN,
153 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
154 const ExplodedNode *PrevN,
160 bool isUnderconstrained(const ExplodedNode *N) const
[all...] |
| BugReporter.h | 41 class ExplodedNode;
61 virtual const ExplodedNode*
62 getOriginalNode(const ExplodedNode *N) = 0;
82 const ExplodedNode *ErrorNode;
146 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode)
151 const ExplodedNode *errornode)
167 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode,
180 const ExplodedNode *getErrorNode() const { return ErrorNode; }
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExplodedGraph.cpp | 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
34 ExplodedNode::Auditor::~Auditor() {}
37 static ExplodedNode::Auditor* NodeAuditor = nullptr;
40 void ExplodedNode::SetAuditor(ExplodedNode::Auditor* A) {
67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {
102 const ExplodedNode *pred = *(node->pred_begin());
106 const ExplodedNode *succ = *(node->succ_begin());
164 void ExplodedGraph::collectNode(ExplodedNode *node) {
170 ExplodedNode *pred = *(node->pred_begin())
[all...] |
| CoreEngine.cpp | 198 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew);
234 ExplodedNode *Node = WU.getNode();
242 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
270 ExplodedNode *PNode = Pred->getFirstPred();
296 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
336 ExplodedNode *Pred) {
355 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
471 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) {
477 const CFGBlock * B, ExplodedNode *Pred) {
489 ExplodedNode *Pred)
[all...] |
| BugReporterVisitors.cpp | 86 const Stmt *bugreporter::GetDenomExpr(const ExplodedNode *N) {
93 const Stmt *bugreporter::GetRetValExpr(const ExplodedNode *N) {
106 const ExplodedNode *EndPathNode, BugReport &BR) {
111 BugReporterContext &BRC, const ExplodedNode *EndPathNode, BugReport &BR) {
168 static void addVisitorIfNecessary(const ExplodedNode *Node, const Stmt *S,
231 PathDiagnosticPiece *visitNodeInitial(const ExplodedNode *N,
232 const ExplodedNode *PrevN,
333 PathDiagnosticPiece *visitNodeMaybeUnsuppress(const ExplodedNode *N,
334 const ExplodedNode *PrevN,
386 PathDiagnosticPiece *VisitNode(const ExplodedNode *N
[all...] |
| ExprEngineObjC.cpp | 23 ExplodedNode *Pred,
40 ExplodedNode *Pred,
46 ExplodedNode *Pred,
136 ExplodedNode *Pred,
226 ExplodedNode *Pred = *DI;
|
| ExprEngineCXX.cpp | 26 ExplodedNode *Pred,
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
108 ExplodedNode *Pred) {
234 ExplodedNode *Pred,
359 ExplodedNode *Pred,
401 ExplodedNode *Pred,
426 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,
515 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State);
532 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
539 ExplodedNode *Pred
[all...] |
| ExprEngineCallAndReturn.cpp | 41 ExplodedNode *Pred) {
62 ExplodedNode *Node = G.getNode(Loc, state, false, &isNew);
74 const CFGBlock*> getLastStmt(const ExplodedNode *Node) {
163 ExplodedNode *Pred,
221 void ExprEngine::processCallExit(ExplodedNode *CEBNode) {
291 ExplodedNode *BindedRetNode = G.getNode(Loc, state, false, &isNew);
318 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew);
405 NodeBuilder &Bldr, ExplodedNode *Pred,
439 if (ExplodedNode *N = G.getNode(Loc, State, false, &isNew)) {
470 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIBugReporter.h | 46 const ExplodedNode *const ExplNode,
59 const ExplodedNode *const ExplNode,
70 const ExplodedNode *const ExplNode,
95 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
96 const ExplodedNode *PrevN,
|
| MPIBugReporter.cpp | 27 const ExplodedNode *const ExplNode,
52 const ExplodedNode *const ExplNode,
72 const ExplodedNode *const ExplNode,
89 const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| MacOSKeychainAPIChecker.cpp | 103 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
107 const AllocationPair &AP, ExplodedNode *N, CheckerContext &C) const;
146 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
147 const ExplodedNode *PrevN,
250 ExplodedNode *N = C.generateNonFatalErrorNode(State);
296 ExplodedNode *N = C.generateNonFatalErrorNode(State);
359 ExplodedNode *N = C.generateNonFatalErrorNode(State);
425 ExplodedNode *N = C.generateNonFatalErrorNode(State);
488 const ExplodedNode *
[all...] |
| FixedAddressChecker.cpp | 53 if (ExplodedNode *N = C.generateNonFatalErrorNode()) {
|
| NSAutoreleasePoolChecker.cpp | 65 ExplodedNode *N = C.generateNonFatalErrorNode();
|
| TaintTesterChecker.cpp | 51 if (ExplodedNode *N = C.generateNonFatalErrorNode()) {
|
| ObjCAtSyncChecker.cpp | 46 if (ExplodedNode *N = C.generateErrorNode()) {
69 if (ExplodedNode *N = C.generateNonFatalErrorNode(nullState)) {
|
| UndefBranchChecker.cpp | 66 ExplodedNode *N = Ctx.generateErrorNode();
88 ExplodedNode *PrevN = *N->pred_begin();
|
| NonNullParamChecker.cpp | 40 genReportNullAttrNonNull(const ExplodedNode *ErrorN, const Expr *ArgE) const;
42 genReportReferenceToNullPointer(const ExplodedNode *ErrorN,
146 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) {
164 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) {
184 NonNullParamChecker::genReportNullAttrNonNull(const ExplodedNode *ErrorNode,
203 const ExplodedNode *ErrorNode, const Expr *ArgE) const {
|
| ObjCSuperDeallocChecker.cpp | 76 PathDiagnosticPiece *VisitNode(const ExplodedNode *Succ,
77 const ExplodedNode *Pred,
188 ExplodedNode *ErrNode = C.generateErrorNode();
252 PathDiagnosticPiece *SuperDeallocBRVisitor::VisitNode(const ExplodedNode *Succ,
253 const ExplodedNode *Pred,
|
| PthreadLockChecker.cpp | 145 ExplodedNode *N = C.generateErrorNode();
207 ExplodedNode *N = C.generateErrorNode();
230 ExplodedNode *N = C.generateErrorNode();
275 ExplodedNode *N = C.generateErrorNode();
310 ExplodedNode *N = C.generateErrorNode();
323 ExplodedNode *N = C.generateErrorNode();
|
