/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Store.cpp | 45 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base, 51 // FIXME: Merge with the implementation of the same method in MemRegion.cpp 62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { 66 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, 73 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { 113 case MemRegion::CXXThisRegionKind: 114 case MemRegion::GenericMemSpaceRegionKind: 115 case MemRegion [all...] |
H A D | MemRegion.cpp | 1 //== MemRegion.cpp - Abstract memory regions for static analysis --*- C++ -*--// 10 // This file defines MemRegion and its subclasses. MemRegion defines a 16 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 31 // MemRegion Construction. 59 const MemRegion *superRegion) { 98 const MemRegion *superRegion) { 117 const MemRegion *superRegion) { 138 MemRegion::~MemRegion() {} 360 ProfileRegion(llvm::FoldingSetNodeID& ID, const NamedDecl *FD, const MemRegion*) argument 371 ProfileRegion(llvm::FoldingSetNodeID& ID, const BlockDecl *BD, CanQualType, const AnalysisDeclContext *AC, const MemRegion*) argument [all...] |
H A D | RegionStore.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 47 llvm::PointerIntPair<const MemRegion *, 2> P; 59 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k) 70 const MemRegion *getRegion() const { return P.getPointer(); } 81 const MemRegion *getBaseRegion() const { 92 static BindingKey Make(const MemRegion *R, Kind k); 111 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { 148 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings> 152 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *, 156 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBinding [all...] |
H A D | SVals.cpp | 40 const MemRegion *R = RV->getRegion(); 53 const MemRegion* R = X->getRegion(); 75 const MemRegion *R = X->getRegion(); 91 const MemRegion *R = X->getRegion(); 135 const MemRegion *SVal::getAsRegion() const { 145 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { 146 const MemRegion *R = getRegion();
|
H A D | ConstraintManager.cpp | 23 const MemRegion *R = State->getStateManager().getRegionManager()
|
H A D | ProgramState.cpp | 118 const MemRegion *MR = LV.getAsRegion(); 127 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); 135 typedef ArrayRef<const MemRegion *> RegionList; 256 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const { 599 bool ScanReachableSymbols::scan(const MemRegion *R) { 619 const MemRegion *Super = SR->getSuperRegion(); 659 bool ProgramState::scanReachableSymbols(const MemRegion * const *I, 660 const MemRegion * const *E, 680 const MemRegion *R = getSVal(S, LCtx).getAsRegion(); 687 ProgramStateRef ProgramState::addTaint(const MemRegion * [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==// 10 // This file defines MemRegion and its subclasses. MemRegion defines a 50 const MemRegion *R; 61 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} 63 const MemRegion *getRegion() const { return R; } 79 /// MemRegion - The root abstract class for all memory regions. 80 class MemRegion : public llvm::FoldingSetNode { class in namespace:clang::ento 130 MemRegion(Kind k) : kind(k) {} function in class:clang::ento::MemRegion 131 virtual ~MemRegion(); [all...] |
H A D | Store.h | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 84 /// used to query and manipulate MemRegion objects. 107 const MemRegion *region, 137 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T); 140 /// a MemRegion* to a specific location type. 'R' is the region being 142 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy); 148 const MemRegion *region) const = 0; 159 typedef SmallVector<const MemRegion *, [all...] |
H A D | SubEngine.h | 41 class MemRegion; 117 ArrayRef<const MemRegion *> ExplicitRegions, 118 ArrayRef<const MemRegion *> Regions, 124 const MemRegion* MR) { 134 ArrayRef<const MemRegion *> ExplicitRegions, 135 ArrayRef<const MemRegion *> Regions,
|
H A D | ProgramState.h | 238 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E, 242 ArrayRef<const MemRegion *> ConstRegions = 243 ArrayRef<const MemRegion *>()) const; 289 SVal getSVal(const MemRegion* R) const; 291 SVal getSValAsScalarOrLoc(const MemRegion *R) const; 309 bool scanReachableSymbols(const MemRegion * const *I, 310 const MemRegion * const *E, 318 scanReachableSymbols(const MemRegion * const *beg, 319 const MemRegion * const *end) const; 330 ProgramStateRef addTaint(const MemRegion * [all...] |
H A D | SymbolManager.h | 38 class MemRegion; 126 ///\brief A symbol representing the value stored at a MemRegion. 201 /// A symbol representing the value of a MemRegion whose parent region has 271 const MemRegion* R; 277 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, 281 const MemRegion *getRegion() const { return R; } 290 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R, 497 /// \brief Make a unique symbol for MemRegion R according to its kind. 522 const SymbolMetadata* getMetadataSymbol(const MemRegion* R, const Stmt *S, 568 typedef llvm::DenseSet<const MemRegion *> RegionSetT [all...] |
H A D | ExprEngine.h | 277 ArrayRef<const MemRegion *> ExplicitRegions, 278 ArrayRef<const MemRegion *> Regions, 417 void VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest, 483 ArrayRef<const MemRegion *> ExplicitRegions, 484 ArrayRef<const MemRegion *> Regions, 561 void BifurcateCall(const MemRegion *BifurReg,
|
H A D | SVals.h | 35 class MemRegion; 172 const MemRegion *getAsRegion() const; 493 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} 496 const MemRegion* getRegion() const { 497 return static_cast<const MemRegion*>(Data); 501 const MemRegion* stripCasts(bool StripBaseCasts = true) const;
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | PointerSubChecker.cpp | 47 const MemRegion *LR = LV.getAsRegion(); 48 const MemRegion *RR = RV.getAsRegion(); 53 const MemRegion *BaseLR = LR->getBaseRegion(); 54 const MemRegion *BaseRR = RR->getBaseRegion();
|
H A D | StackAddrEscapeChecker.cpp | 38 void EmitStackError(CheckerContext &C, const MemRegion *R, 40 static SourceRange genName(raw_ostream &os, const MemRegion *R, 45 SourceRange StackAddrEscapeChecker::genName(raw_ostream &os, const MemRegion *R, 95 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R, 129 const MemRegion *R = V.getAsRegion(); 172 SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V; 180 const MemRegion *region, SVal val) { 185 const MemRegion *vR = val.getAsRegion();
|
H A D | DynamicTypePropagation.cpp | 46 static void recordFixedType(const MemRegion *Region, const CXXMethodDecl *MD, 78 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) 91 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); 110 const MemRegion *RetReg = Call.getReturnValue().getAsRegion(); 140 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); 165 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { 179 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); 201 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); 249 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
|
H A D | PthreadLockChecker.cpp | 46 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) 91 const MemRegion *lockR = lock.getAsRegion(); 153 const MemRegion *lockR = lock.getAsRegion(); 165 const MemRegion *firstLockR = LS.getHead();
|
H A D | CStringChecker.cpp | 69 ArrayRef<const MemRegion *> ExplicitRegions, 70 ArrayRef<const MemRegion *> Regions, 125 const MemRegion *MR, 130 const MemRegion *MR, 148 const MemRegion *MR); 197 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) 267 const MemRegion *R = l.getAsRegion(); 614 const MemRegion *MR, 621 case MemRegion::StringRegionKind: 626 case MemRegion [all...] |
H A D | ArrayBoundCheckerV2.cpp | 69 const MemRegion *region) { 74 case MemRegion::SymbolicRegionKind: 78 case MemRegion::ElementRegionKind: 270 const MemRegion *region = location.getAsRegion(); 283 case MemRegion::ElementRegionKind: {
|
H A D | CheckerDocumentation.cpp | 252 ArrayRef<const MemRegion *> ExplicitRegions, 253 ArrayRef<const MemRegion *> Regions,
|
H A D | ArrayBoundChecker.cpp | 38 const MemRegion *R = l.getAsRegion();
|
H A D | MacOSXAPIChecker.cpp | 60 const MemRegion *R =
|
H A D | PointerArithChecker.cpp | 44 const MemRegion *LR = LV.getAsRegion();
|
H A D | ReturnPointerRangeChecker.cpp | 43 const MemRegion *R = V.getAsRegion();
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporterVisitor.h | 28 class MemRegion; 100 const MemRegion *R; 114 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R, 285 const MemRegion *R; 288 UndefOrNullArgVisitor(const MemRegion *InR) : R(InR) {}
|