Searched defs:ProgramPoint (Results 1 - 3 of 3) sorted by last modified time
/external/owasp/sanitizer/tools/findbugs/lib/ |
H A D | findbugs.jar | META-INF/ META-INF/MANIFEST.MF default.xsl edu/ edu/umd/ edu/umd/cs/ edu/ ... |
/external/clang/include/clang/Analysis/ |
H A D | ProgramPoint.h | 1 //==- ProgramPoint.h - Program Points for Path-Sensitive Analysis --*- C++ -*-// 10 // This file defines the interface ProgramPoint, which identifies a 38 class ProgramPoint { class in namespace:clang 69 // The LocationContext could be NULL to allow ProgramPoint to be used in 76 ProgramPoint() {} function in class:clang::ProgramPoint 77 ProgramPoint(const void *P, function in class:clang::ProgramPoint 90 ProgramPoint(const void *P1, function in class:clang::ProgramPoint 106 /// Create a new ProgramPoint object that is the same as the original 108 ProgramPoint withTag(const ProgramPointTag *tag) const { 109 return ProgramPoint(getData [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CoreEngine.h | 87 void generateNode(const ProgramPoint &Loc, 137 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, 243 ExplodedNode *generateNodeImpl(const ProgramPoint &PP, 265 ExplodedNode *generateNode(const ProgramPoint &PP, 276 ExplodedNode *generateSink(const ProgramPoint &PP, 318 ProgramPoint &Location; 322 const NodeBuilderContext &Ctx, ProgramPoint &L) 328 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 334 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location); 349 /// that it creates a statement specific ProgramPoint 380 generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = nullptr, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument 390 generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = nullptr, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument [all...] |
Completed in 121 milliseconds