/external/clang/include/clang/StaticAnalyzer/Checkers/ |
H A D | DereferenceChecker.h | 26 class ExplodedNode; 28 std::pair<ExplodedNode * const *, ExplodedNode * const *>
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporterVisitor.h | 27 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 D | BugType.h | 25 class ExplodedNode;
|
H A D | BugReporter.h | 38 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 D | ExplodedGraph.cpp | 10 // 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 D | CoreEngine.cpp | 216 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 D | BugReporter.cpp | 55 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 D | ExprEngineCXX.cpp | 38 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 D | ExprEngineCallAndReturn.cpp | 24 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 D | BugReporterVisitors.cpp | 32 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 D | ExprEngineObjC.cpp | 23 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 D | ExprEngine.h | 67 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 D | 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 { 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 D | CoreEngine.h | 52 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 D | 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) {
|
H A D | CheckerContext.h | 26 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 D | SubEngine.h | 32 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 D | ObjCAtSyncChecker.cpp | 47 if (ExplodedNode *N = C.generateSink()) { 71 if (ExplodedNode *N = C.addTransition(nullState)) {
|
H A D | FixedAddressChecker.cpp | 53 if (ExplodedNode *N = C.addTransition()) {
|
H A D | ReturnUndefChecker.cpp | 44 ExplodedNode *N = C.generateSink();
|
H A D | TaintTesterChecker.cpp | 51 if (ExplodedNode *N = C.addTransition()) {
|
H A D | UndefinedArraySubscriptChecker.cpp | 38 if (ExplodedNode *N = C.generateSink()) {
|
H A D | UndefBranchChecker.cpp | 67 ExplodedNode *N = Ctx.generateSink(); 89 ExplodedNode *PrevN = *N->pred_begin();
|
H A D | OSAtomicChecker.cpp | 28 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 D | MainCallChecker.cpp | 33 ExplodedNode *N = C.generateSink();
|