| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExplodedGraph.h | 10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode {
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
131 ~ExplodedNode() {}
[all...] |
| ExprEngine.h | 145 void GenerateAutoTransition(ExplodedNode *N);
147 void GenerateCallExitNode(ExplodedNode *N);
154 void ViewGraph(ArrayRef<const ExplodedNode*> Nodes);
188 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
195 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
198 void ProcessStmt(const CFGStmt S, ExplodedNode *Pred);
200 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
202 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
205 ExplodedNode *Pred, ExplodedNodeSet &Dst);
207 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);
94 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
97 ExplodedNode *Pred);
103 ExplodedNode *generateCallExitBeginNode(ExplodedNode *N)
[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,
86 ExplodedNode *Pred) = 0;
89 virtual void processCallEnter(CallEnter CE, ExplodedNode *Pred) = 0;
92 virtual void processCallExit(ExplodedNode *Pred) = 0;
|
| CheckerContext.h | 73 ExplodedNode *Pred;
89 ExplodedNode *pred,
121 ExplodedNode *getPredecessor() { return Pred; }
186 static const MemRegion *getLocationRegionIfPostStore(const ExplodedNode *N) {
207 ExplodedNode *addTransition(ProgramStateRef State = 0,
219 ExplodedNode *addTransition(ProgramStateRef State,
220 ExplodedNode *Pred,
227 ExplodedNode *generateSink(ProgramStateRef State = 0,
228 ExplodedNode *Pred = 0,
285 ExplodedNode *addTransitionImpl(ProgramStateRef State
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 27 class ExplodedNode;
58 virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *Succ,
59 const ExplodedNode *Pred,
70 const ExplodedNode *N,
77 const ExplodedNode *N,
108 static BugReporterVisitor *createVisitorObject(const ExplodedNode *N,
122 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
123 const ExplodedNode *PrevN,
145 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
146 const ExplodedNode *PrevN
[all...] |
| BugType.h | 26 class ExplodedNode;
|
| BugReporter.h | 39 class ExplodedNode;
59 virtual const ExplodedNode*
60 getOriginalNode(const ExplodedNode *N) = 0;
80 const ExplodedNode *ErrorNode;
144 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode)
149 const ExplodedNode *errornode)
166 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode,
179 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 = 0;
40 void ExplodedNode::SetAuditor(ExplodedNode::Auditor* A) {
67 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {
101 const ExplodedNode *pred = *(node->pred_begin());
105 const ExplodedNode *succ = *(node->succ_begin());
159 void ExplodedGraph::collectNode(ExplodedNode *node) {
165 ExplodedNode *pred = *(node->pred_begin())
[all...] |
| CoreEngine.cpp | 220 ExplodedNode *Node = WU.getNode();
228 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
257 ExplodedNode *PNode = Pred->getFirstPred();
283 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
323 ExplodedNode *Pred) {
342 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
449 const CFGBlock * B, ExplodedNode *Pred) {
460 ExplodedNode *Pred) {
476 ExplodedNode *Pred) {
479 ExplodedNode *Node = G->getNode(Loc, State, false, &IsNew)
[all...] |
| BugReporterVisitors.cpp | 78 const Stmt *bugreporter::GetDenomExpr(const ExplodedNode *N) {
85 const Stmt *bugreporter::GetRetValExpr(const ExplodedNode *N) {
98 const ExplodedNode *EndPathNode,
105 const ExplodedNode *EndPathNode,
164 static void addVisitorIfNecessary(const ExplodedNode *Node, const Stmt *S,
225 PathDiagnosticPiece *visitNodeInitial(const ExplodedNode *N,
226 const ExplodedNode *PrevN,
322 PathDiagnosticPiece *visitNodeMaybeUnsuppress(const ExplodedNode *N,
323 const ExplodedNode *PrevN,
374 PathDiagnosticPiece *VisitNode(const ExplodedNode *N
[all...] |
| ExprEngineObjC.cpp | 23 ExplodedNode *Pred,
40 ExplodedNode *Pred,
46 ExplodedNode *Pred,
136 ExplodedNode *Pred,
156 ExplodedNode *Pred = *DI;
|
| BugReporter.cpp | 68 static inline const ExplodedNode*
69 GetPredecessorNode(const ExplodedNode *N) {
73 static inline const ExplodedNode*
74 GetSuccessorNode(const ExplodedNode *N) {
78 static const Stmt *GetPreviousStmt(const ExplodedNode *N) {
86 static const Stmt *GetNextStmt(const ExplodedNode *N) {
111 GetCurrentOrPreviousStmt(const ExplodedNode *N) {
119 GetCurrentOrNextStmt(const ExplodedNode *N) {
308 const ExplodedNode *getOriginalNode(const ExplodedNode *N)
[all...] |
| ExprEngineCXX.cpp | 26 ExplodedNode *Pred,
53 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
100 ExplodedNode *Pred,
229 ExplodedNode *Pred,
271 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,
351 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
358 ExplodedNode *Pred,
376 void ExprEngine::VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred,
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ObjCAtSyncChecker.cpp | 46 if (ExplodedNode *N = C.generateSink()) {
69 if (ExplodedNode *N = C.addTransition(nullState)) {
|
| NonNullParamChecker.cpp | 38 BugReport *genReportNullAttrNonNull(const ExplodedNode *ErrorN,
40 BugReport *genReportReferenceToNullPointer(const ExplodedNode *ErrorN,
122 if (ExplodedNode *errorNode = C.generateSink(stateNull)) {
153 const ExplodedNode *ErrorNode, const Expr *ArgE) const {
172 const ExplodedNode *ErrorNode, const Expr *ArgE) const {
|
| ExprInspectionChecker.cpp | 56 ExplodedNode *N = C.getPredecessor();
85 ExplodedNode *N = C.getPredecessor();
102 ExplodedNode *N = C.getPredecessor();
|
| MacOSKeychainAPIChecker.cpp | 102 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
106 ExplodedNode *N,
147 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
148 const ExplodedNode *PrevN,
259 ExplodedNode *N = C.addTransition(State);
301 ExplodedNode *N = C.addTransition(State);
360 ExplodedNode *N = C.addTransition(State);
426 ExplodedNode *N = C.addTransition(State);
489 const ExplodedNode *
[all...] |
| FixedAddressChecker.cpp | 53 if (ExplodedNode *N = C.addTransition()) {
|
| NSAutoreleasePoolChecker.cpp | 65 ExplodedNode *N = C.addTransition();
|
| TaintTesterChecker.cpp | 51 if (ExplodedNode *N = C.addTransition()) {
|
| UndefinedArraySubscriptChecker.cpp | 38 if (ExplodedNode *N = C.generateSink()) {
|
| UndefBranchChecker.cpp | 67 ExplodedNode *N = Ctx.generateSink();
89 ExplodedNode *PrevN = *N->pred_begin();
|
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 33 ExplodedNode *N = C.generateSink();
|
