| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| DereferenceChecker.h | 26 class ExplodedNode;
28 std::pair<ExplodedNode * const *, ExplodedNode * const *>
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExplodedGraph.h | 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
50 // ExplodedNode is not constified all over the engine because we need to add
53 class ExplodedNode : public llvm::FoldingSetNode {
76 ExplodedNode *getNode() const {
77 return reinterpret_cast<ExplodedNode*>(getPtr());
83 ExplodedNode **begin() const;
85 ExplodedNode **end() const;
91 void addNode(ExplodedNode *N, ExplodedGraph &G);
93 void replaceNode(ExplodedNode *node);
120 explicit ExplodedNode(const ProgramPoint &loc, const ProgramState *state
[all...] |
| CheckerContext.h | 28 ExplodedNode *Pred;
41 ExplodedNode *pred,
75 ExplodedNode *&getPredecessor() { return Pred; }
108 ExplodedNode *generateNode(bool autoTransition = true) {
114 ExplodedNode *generateNode(const ProgramState *state,
115 ExplodedNode *pred,
119 ExplodedNode *N = generateNodeImpl(state, isSink, pred, tag);
124 ExplodedNode *generateNode(const ProgramState *state,
127 ExplodedNode *N = generateNodeImpl(state, false, 0, tag);
133 ExplodedNode *generateSink(const ProgramState *state = 0)
[all...] |
| ExprEngine.h | 61 ExplodedNode *EntryNode;
124 void ViewGraph(ExplodedNode** Beg, ExplodedNode** End);
136 ExplodedNode *Pred);
139 ExplodedNode *Pred);
142 ExplodedNode *Pred);
145 ExplodedNode *Pred);
148 StmtNodeBuilder &builder, ExplodedNode *Pred);
162 ExplodedNode *Pred,
235 ExplodedNode *MakeNode(ExplodedNodeSet &Dst, const Stmt *S,
[all...] |
| WorkList.h | 27 class ExplodedNode;
31 ExplodedNode *node;
37 WorkListUnit(ExplodedNode *N, BlockCounter C,
44 explicit WorkListUnit(ExplodedNode *N, BlockCounter C)
51 ExplodedNode *getNode() const { return node; }
71 void enqueue(ExplodedNode *N, const CFGBlock *B, unsigned idx) {
75 void enqueue(ExplodedNode *N) {
|
| CoreEngine.h | 54 typedef std::vector<std::pair<BlockEdge, const ExplodedNode*> >
57 typedef std::vector<std::pair<const CFGBlock*, const ExplodedNode*> >
87 ExplodedNode *Pred);
89 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
90 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
91 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
92 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
95 ExplodedNode *Pred);
97 unsigned Index, ExplodedNode *Pred);
98 void HandleCallExit(const CallExit &L, ExplodedNode *Pred)
[all...] |
| SubEngine.h | 33 class ExplodedNode;
59 ExplodedNode* Pred)=0;
71 ExplodedNode *Pred,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExplodedGraph.cpp | 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
31 ExplodedNode::Auditor::~Auditor() {}
34 static ExplodedNode::Auditor* NodeAuditor = 0;
37 void ExplodedNode::SetAuditor(ExplodedNode::Auditor* A) {
47 typedef std::vector<ExplodedNode*> NodeList;
78 ExplodedNode *node = *i;
84 ExplodedNode *pred = *(node->pred_begin());
88 ExplodedNode *succ = *(node->succ_begin());
126 node->~ExplodedNode();
[all...] |
| AggExprVisitor.cpp | 31 ExplodedNode *Pred;
36 AggExprVisitor(const MemRegion *dest, ExplodedNode *N, ExplodedNodeSet &dst,
67 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
|
| CoreEngine.cpp | 201 ExplodedNode *Node = WU.getNode();
243 for (SmallVectorImpl<ExplodedNode*>::iterator I = G->EndNodes.begin(),
250 unsigned Index, ExplodedNode *Pred) {
256 void CoreEngine::HandleCallExit(const CallExit &L, ExplodedNode *Pred) {
261 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
298 for (SmallVectorImpl<ExplodedNode*>::const_iterator
306 ExplodedNode *Pred) {
325 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
419 const CFGBlock * B, ExplodedNode *Pred) {
427 ExplodedNode *Pred)
[all...] |
| BugReporter.cpp | 50 static inline const ExplodedNode*
51 GetPredecessorNode(const ExplodedNode *N) {
55 static inline const ExplodedNode*
56 GetSuccessorNode(const ExplodedNode *N) {
60 static const Stmt *GetPreviousStmt(const ExplodedNode *N) {
68 static const Stmt *GetNextStmt(const ExplodedNode *N) {
93 GetCurrentOrPreviousStmt(const ExplodedNode *N) {
101 GetCurrentOrNextStmt(const ExplodedNode *N) {
112 typedef llvm::DenseMap<const ExplodedNode*,
113 const ExplodedNode*> NodeBackMap
[all...] |
| BugReporterVisitors.cpp | 31 const Stmt *bugreporter::GetDerefExpr(const ExplodedNode *N) {
50 const Stmt *bugreporter::GetDenomExpr(const ExplodedNode *N) {
57 const Stmt *bugreporter::GetCalleeExpr(const ExplodedNode *N) {
65 const Stmt *bugreporter::GetRetValExpr(const ExplodedNode *N) {
78 const ExplodedNode *EndPathNode,
85 const ExplodedNode *EndPathNode,
130 PathDiagnosticPiece *FindLastStoreBRVisitor::VisitNode(const ExplodedNode *N,
131 const ExplodedNode *PrevN,
139 const ExplodedNode *Node = N, *Last = NULL;
258 TrackConstraintBRVisitor::VisitNode(const ExplodedNode *N
[all...] |
| ExprEngineCXX.cpp | 27 ExplodedNode *N;
29 CallExprWLItem(const CallExpr::const_arg_iterator &i, ExplodedNode *n)
36 ExplodedNode *Pred, ExplodedNodeSet &Dst,
108 ExplodedNode *Pred,
127 ExplodedNode *Pred,
192 if (ExplodedNode *N = Builder->generateNode(Loc, state, *NI))
205 ExplodedNode *Pred = *i;
220 ExplodedNode *Pred,
236 ExplodedNode *N = Builder->generateNode(PP, state, Pred);
241 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred
[all...] |
| ExprEngine.cpp | 200 ExplodedNode *Pred) {
221 ExplodedNode *Pred) {
242 ExplodedNode *CleanedNode = 0;
304 ExplodedNode *CleanedNode = Builder->generateNode(currentStmt,
327 ExplodedNode *pred) {
343 ExplodedNode *Pred = *I;
378 ExplodedNode *Pred) {
401 ExplodedNode *pred) {
433 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,
481 const ExplodedNode *node = MakeNode(Dst, S, Pred, Pred->getState())
[all...] |
| ExprEngineObjC.cpp | 23 ExplodedNode *Pred,
39 ExplodedNode *Pred,
45 ExplodedNode *Pred,
130 ExplodedNode *Pred,
144 ExplodedNode *Pred = *DI;
238 ExplodedNode *Pred,
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 27 class ExplodedNode;
40 virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
41 const ExplodedNode *PrevN,
52 const ExplodedNode *N,
59 const ExplodedNode *N,
68 const ExplodedNode *StoreSite;
74 static BugReporterVisitor *createVisitorObject(const ExplodedNode *N,
91 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
92 const ExplodedNode *PrevN,
108 PathDiagnosticPiece *VisitNode(const ExplodedNode *N
[all...] |
| BugType.h | 25 class ExplodedNode;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| OSAtomicChecker.cpp | 28 ExplodedNode *Pred, ExplodedNodeSet &Dst) const;
33 ExplodedNode *Pred,
36 ExplodedNode *generateNode(const ProgramState *State,
37 ExplodedNode *Pred, const CallExpr *Statement,
44 ExplodedNode *Pred,
69 ExplodedNode *OSAtomicChecker::generateNode(const ProgramState *State,
70 ExplodedNode *Pred,
74 ExplodedNode *N = B.generateNode(Statement, State, Pred, this);
82 ExplodedNode *Pred,
148 ExplodedNode *N = *I
[all...] |
| UndefBranchChecker.cpp | 53 ExplodedNode *Pred, ExprEngine &Eng) const;
60 ExplodedNode *Pred,
71 ExplodedNode *N = Builder.generateNode(PP, state,
94 ExplodedNode *PrevN = *N->pred_begin();
|
| ObjCAtSyncChecker.cpp | 46 if (ExplodedNode *N = C.generateSink()) {
69 if (ExplodedNode *N = C.generateNode(nullState)) {
|
| FixedAddressChecker.cpp | 54 if (ExplodedNode *N = C.generateNode()) {
|
| ReturnUndefChecker.cpp | 44 ExplodedNode *N = C.generateSink();
|
| UndefinedArraySubscriptChecker.cpp | 38 if (ExplodedNode *N = C.generateSink()) {
|
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 32 ExplodedNode *N = C.generateSink();
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| AnalysisConsumer.cpp | 42 static ExplodedNode::Auditor* CreateUbiViz();
314 llvm::OwningPtr<ExplodedNode::Auditor> Auditor;
317 ExplodedNode::SetAuditor(Auditor.get());
325 ExplodedNode::SetAuditor(0);
376 class UbigraphViz : public ExplodedNode::Auditor {
390 virtual void AddEdge(ExplodedNode *Src, ExplodedNode *Dst);
395 static ExplodedNode::Auditor* CreateUbiViz() {
420 void UbigraphViz::AddEdge(ExplodedNode *Src, ExplodedNode *Dst)
[all...] |
