Searched refs:ExplodedNode (Results 1 - 25 of 66) sorted by relevance

123

/external/clang/include/clang/StaticAnalyzer/Checkers/
H A DDereferenceChecker.h26 class ExplodedNode;
28 std::pair<ExplodedNode * const *, ExplodedNode * const *>
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h27 class ExplodedNode;
58 virtual PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
59 const ExplodedNode *PrevN,
70 const ExplodedNode *N,
77 const ExplodedNode *N,
103 const ExplodedNode *StoreSite;
109 static BugReporterVisitor *createVisitorObject(const ExplodedNode *N,
126 PathDiagnosticPiece *VisitNode(const ExplodedNode *N,
127 const ExplodedNode *PrevN,
145 PathDiagnosticPiece *VisitNode(const ExplodedNode *
[all...]
H A DBugType.h25 class ExplodedNode;
H A DBugReporter.h38 class ExplodedNode;
58 virtual const ExplodedNode*
59 getOriginalNode(const ExplodedNode *N) = 0;
77 const ExplodedNode *ErrorNode;
106 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode)
111 const ExplodedNode *errornode)
126 BugReport(BugType& bt, StringRef desc, const ExplodedNode *errornode,
137 const ExplodedNode *getErrorNode() const { return ErrorNode; }
/external/clang/lib/StaticAnalyzer/Core/
H A DExplodedGraph.cpp10 // This file defines the template classes ExplodedNode and ExplodedGraph,
32 ExplodedNode::Auditor::~Auditor() {}
35 static ExplodedNode::Auditor* NodeAuditor = 0;
38 void ExplodedNode::SetAuditor(ExplodedNode::Auditor* A) {
59 bool ExplodedGraph::shouldCollect(const ExplodedNode *node) {
75 const ExplodedNode *pred = *(node->pred_begin());
79 const ExplodedNode *succ = *(node->succ_begin());
114 void ExplodedGraph::collectNode(ExplodedNode *node) {
120 ExplodedNode *pre
[all...]
H A DCoreEngine.cpp216 ExplodedNode *Node = WU.getNode();
224 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
258 ExplodedNode *PNode = Pred->getFirstPred();
282 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
322 ExplodedNode *Pred) {
341 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
448 const CFGBlock * B, ExplodedNode *Pred) {
459 ExplodedNode *Pred) {
475 ExplodedNode *Pred) {
478 ExplodedNode *Nod
[all...]
H A DBugReporter.cpp55 static inline const ExplodedNode*
56 GetPredecessorNode(const ExplodedNode *N) {
60 static inline const ExplodedNode*
61 GetSuccessorNode(const ExplodedNode *N) {
65 static const Stmt *GetPreviousStmt(const ExplodedNode *N) {
73 static const Stmt *GetNextStmt(const ExplodedNode *N) {
98 GetCurrentOrPreviousStmt(const ExplodedNode *N) {
106 GetCurrentOrNextStmt(const ExplodedNode *N) {
170 typedef llvm::DenseMap<const ExplodedNode*,
171 const ExplodedNode*> NodeBackMa
[all...]
H A DExprEngineCXX.cpp38 ExplodedNode *Pred,
57 ExplodedNode *Pred,
64 ExplodedNode *Pred,
137 ExplodedNode *Pred = *i;
152 ExplodedNode *Pred,
173 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,
261 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
268 ExplodedNode *Pred,
286 void ExprEngine::VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred,
H A DExprEngineCallAndReturn.cpp24 void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) {
48 ExplodedNode *Node = G.getNode(Loc, state, false, &isNew);
54 static const ReturnStmt *getReturnStmt(const ExplodedNode *Node) {
72 void ExprEngine::processCallExit(ExplodedNode *Pred) {
99 ExplodedNode *N = G.getNode(Loc, state, false, &isNew);
133 bool ExprEngine::shouldInlineDecl(const FunctionDecl *FD, ExplodedNode *Pred) {
180 ExplodedNode *Pred) {
210 if (ExplodedNode *N = G.getNode(Loc, state, false, &isNew)) {
388 static ProgramStateRef getReplayWithoutInliningState(ExplodedNode *&N,
400 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pre
[all...]
H A DBugReporterVisitors.cpp32 const Stmt *bugreporter::GetDerefExpr(const ExplodedNode *N) {
51 const Stmt *bugreporter::GetDenomExpr(const ExplodedNode *N) {
58 const Stmt *bugreporter::GetCalleeExpr(const ExplodedNode *N) {
66 const Stmt *bugreporter::GetRetValExpr(const ExplodedNode *N) {
79 const ExplodedNode *EndPathNode,
86 const ExplodedNode *EndPathNode,
113 PathDiagnosticPiece *FindLastStoreBRVisitor::VisitNode(const ExplodedNode *N,
114 const ExplodedNode *PrevN,
122 const ExplodedNode *Node = N, *Last = NULL;
244 TrackConstraintBRVisitor::VisitNode(const ExplodedNode *
[all...]
H A DExprEngineObjC.cpp23 ExplodedNode *Pred,
40 ExplodedNode *Pred,
46 ExplodedNode *Pred,
132 ExplodedNode *Pred,
147 ExplodedNode *Pred = *DI;
231 ExplodedNode *Pred,
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h67 ExplodedNode *EntryNode;
137 void GenerateAutoTransition(ExplodedNode *N);
139 void GenerateCallExitNode(ExplodedNode *N);
145 void ViewGraph(ExplodedNode** Beg, ExplodedNode** End);
156 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
159 void ProcessStmt(const CFGStmt S, ExplodedNode *Pred);
161 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
163 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
166 ExplodedNode *Pre
[all...]
H A DExplodedGraph.h10 // 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 { class in namespace:clang::ento
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(cons function in class:clang::ento::ExplodedNode
[all...]
H A DCoreEngine.h52 typedef std::vector<std::pair<BlockEdge, const ExplodedNode*> >
55 typedef std::vector<std::pair<const CFGBlock*, const ExplodedNode*> >
93 ExplodedNode *Pred);
95 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
96 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
97 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
98 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
101 ExplodedNode *Pred);
107 ExplodedNode *generateCallExitNode(ExplodedNode *
[all...]
H A DWorkList.h27 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) {
H A DCheckerContext.h26 ExplodedNode *Pred;
42 ExplodedNode *pred,
70 ExplodedNode *getPredecessor() { return Pred; }
128 static const MemRegion *getLocationRegionIfPostStore(const ExplodedNode *N) {
143 ExplodedNode *addTransition(ProgramStateRef State,
150 ExplodedNode *addTransition() {
163 ExplodedNode *addTransition(ProgramStateRef State,
164 ExplodedNode *Pred,
172 ExplodedNode *generateSink(ProgramStateRef state = 0) {
212 ExplodedNode *addTransitionImp
[all...]
H A DSubEngine.h32 class ExplodedNode;
56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
69 ExplodedNode *Pred,
87 virtual void processCallEnter(CallEnter CE, ExplodedNode *Pred) = 0;
90 virtual void processCallExit(ExplodedNode *Pred) = 0;
/external/clang/lib/StaticAnalyzer/Checkers/
H A DObjCAtSyncChecker.cpp47 if (ExplodedNode *N = C.generateSink()) {
71 if (ExplodedNode *N = C.addTransition(nullState)) {
H A DFixedAddressChecker.cpp53 if (ExplodedNode *N = C.addTransition()) {
H A DReturnUndefChecker.cpp44 ExplodedNode *N = C.generateSink();
H A DTaintTesterChecker.cpp51 if (ExplodedNode *N = C.addTransition()) {
H A DUndefinedArraySubscriptChecker.cpp38 if (ExplodedNode *N = C.generateSink()) {
H A DUndefBranchChecker.cpp67 ExplodedNode *N = Ctx.generateSink();
89 ExplodedNode *PrevN = *N->pred_begin();
H A DOSAtomicChecker.cpp28 ExplodedNode *Pred, ExplodedNodeSet &Dst) const;
33 ExplodedNode *Pred,
54 ExplodedNode *Pred,
72 ExplodedNode *Pred,
135 ExplodedNode *N = *I;
188 ExplodedNode *predNew = *I2;
/external/clang/examples/analyzer-plugin/
H A DMainCallChecker.cpp33 ExplodedNode *N = C.generateSink();

Completed in 203 milliseconds

123