/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
MemRegion.h | 1 //== MemRegion.h - Abstract memory regions for static analysis --*- C++ -*--==// 10 // This file defines MemRegion and its subclasses. MemRegion defines a 49 const MemRegion *R; 60 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} 62 const MemRegion *getRegion() const { return R; } 78 /// MemRegion - The root abstract class for all memory regions. 79 class MemRegion : public llvm::FoldingSetNode { 129 MemRegion(Kind k) : kind(k) {} 130 virtual ~MemRegion(); [all...] |
SubEngine.h | 41 class MemRegion; 108 ArrayRef<const MemRegion *> ExplicitRegions, 109 ArrayRef<const MemRegion *> Regions, 115 const MemRegion* MR) { 125 ArrayRef<const MemRegion *> ExplicitRegions, 126 ArrayRef<const MemRegion *> Regions,
|
Store.h | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 99 /// used to query and manipulate MemRegion objects. 122 const MemRegion *region, 152 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T); 155 /// a MemRegion* to a specific location type. 'R' is the region being 157 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy); 163 const MemRegion *region) const = 0; 174 typedef SmallVector<const MemRegion *, 8> InvalidatedRegions [all...] |
SymbolManager.h | 38 class MemRegion; 123 ///\brief A symbol representing the value stored at a MemRegion. 198 /// A symbol representing the value of a MemRegion whose parent region has 268 const MemRegion* R; 274 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, 278 const MemRegion *getRegion() const { return R; } 287 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R, 492 /// \brief Make a unique symbol for MemRegion R according to its kind. 517 const SymbolMetadata* getMetadataSymbol(const MemRegion* R, const Stmt *S, 563 typedef llvm::DenseSet<const MemRegion *> RegionSetTy [all...] |
ProgramState.h | 243 ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions, 287 SVal getSVal(const MemRegion* R) const; 289 SVal getSValAsScalarOrLoc(const MemRegion *R) const; 307 bool scanReachableSymbols(const MemRegion * const *I, 308 const MemRegion * const *E, 316 scanReachableSymbols(const MemRegion * const *beg, 317 const MemRegion * const *end) const; 328 ProgramStateRef addTaint(const MemRegion *R, 336 bool isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const; 339 DynamicTypeInfo getDynamicTypeInfo(const MemRegion *Reg) const [all...] |
CallEvent.h | 88 const MemRegion *R; 93 RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {} 103 const MemRegion *getDispatchRegion() { return R; } 165 typedef SmallVectorImpl<const MemRegion *> RegionList; 670 typedef llvm::PointerIntPair<const MemRegion *, 1, bool> DtorDataTy; 680 const MemRegion *Target, bool IsBaseDestructor, 725 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, [all...] |
ExprEngine.h | 268 ArrayRef<const MemRegion *> ExplicitRegions, 269 ArrayRef<const MemRegion *> Regions, 408 void VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest, 473 ArrayRef<const MemRegion *> ExplicitRegions, 474 ArrayRef<const MemRegion *> Regions, 550 void BifurcateCall(const MemRegion *BifurReg,
|
/external/clang/lib/StaticAnalyzer/Core/ |
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::StackLocalsSpaceRegionKind [all...] |
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() {} [all...] |
RegionStore.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 45 llvm::PointerIntPair<const MemRegion *, 2> P; 57 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k) 68 const MemRegion *getRegion() const { return P.getPointer(); } 79 const MemRegion *getBaseRegion() const { 90 static BindingKey Make(const MemRegion *R, Kind k); 109 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { 146 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings> 150 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *, 154 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings [all...] |
SVals.cpp | 40 const MemRegion *R = RV->getRegion(); 53 const MemRegion* R = X->getRegion(); 73 const MemRegion *R = X->stripCasts(); 87 const MemRegion *R = X->getRegion(); 127 const MemRegion *SVal::getAsRegion() const { 137 const MemRegion *loc::MemRegionVal::stripCasts(bool StripBaseCasts) const { 138 const MemRegion *R = getRegion();
|
ConstraintManager.cpp | 23 const MemRegion *R = State->getStateManager().getRegionManager()
|
ProgramState.cpp | 126 const MemRegion *MR = LV.getAsRegion(); 135 const MemRegion *R = loc.castAs<loc::MemRegionVal>().getRegion(); 144 ProgramState::invalidateRegions(ArrayRef<const MemRegion *> Regions, 161 ProgramState::invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, 212 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const { 551 bool ScanReachableSymbols::scan(const MemRegion *R) { 571 const MemRegion *Super = SR->getSuperRegion(); 611 bool ProgramState::scanReachableSymbols(const MemRegion * const *I, 612 const MemRegion * const *E, 632 const MemRegion *R = getSVal(S, LCtx).getAsRegion() [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
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();
|
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();
|
DynamicTypePropagation.cpp | 44 static void recordFixedType(const MemRegion *Region, const CXXMethodDecl *MD, 76 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) 89 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); 108 const MemRegion *RetReg = Call.getReturnValue().getAsRegion(); 138 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); 163 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { 177 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); 233 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
|
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();
|
CStringChecker.cpp | 69 ArrayRef<const MemRegion *> ExplicitRegions, 70 ArrayRef<const MemRegion *> Regions, 123 const MemRegion *MR, 128 const MemRegion *MR, 146 const MemRegion *MR); 195 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) 265 const MemRegion *R = l.getAsRegion(); 612 const MemRegion *MR, 619 case MemRegion::StringRegionKind: 624 case MemRegion::SymbolicRegionKind [all...] |
ArrayBoundCheckerV2.cpp | 69 const MemRegion *region) { 74 case MemRegion::SymbolicRegionKind: 78 case MemRegion::ElementRegionKind: 270 const MemRegion *region = location.getAsRegion(); 283 case MemRegion::ElementRegionKind: {
|
CheckerDocumentation.cpp | 251 ArrayRef<const MemRegion *> ExplicitRegions, 252 ArrayRef<const MemRegion *> Regions,
|
ArrayBoundChecker.cpp | 38 const MemRegion *R = l.getAsRegion();
|
MacOSXAPIChecker.cpp | 60 const MemRegion *R =
|
PointerArithChecker.cpp | 44 const MemRegion *LR = LV.getAsRegion();
|
ReturnPointerRangeChecker.cpp | 43 const MemRegion *R = V.getAsRegion();
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
BugReporterVisitor.h | 28 class MemRegion; 100 const MemRegion *R; 105 /// \brief Convenience method to create a visitor given only the MemRegion. 109 const MemRegion *R); 115 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R) 266 const MemRegion *R; 269 UndefOrNullArgVisitor(const MemRegion *InR) : R(InR) {}
|