/external/clang/lib/StaticAnalyzer/Core/ |
Store.cpp | 30 const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base, 36 // FIXME: Merge with the implementation of the same method in MemRegion.cpp 47 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { 51 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, 58 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) { 98 case MemRegion::CXXThisRegionKind: 99 case MemRegion::GenericMemSpaceRegionKind: 100 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" 28 // MemRegion Construction. 56 const MemRegion *superRegion) { 95 const MemRegion *superRegion) { 114 const MemRegion *superRegion) { 135 MemRegion::~MemRegion() {} [all...] |
RegionStore.cpp | 25 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 44 llvm ::PointerIntPair<const MemRegion*, 1> P; 47 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k) 53 const MemRegion *getRegion() const { return P.getPointer(); } 61 static BindingKey Make(const MemRegion *R, Kind k); 82 BindingKey BindingKey::Make(const MemRegion *R, Kind k) { 142 typedef llvm::ImmutableSet<const MemRegion*> Set; 143 typedef llvm::DenseMap<const MemRegion*, Set> Map; 148 bool add(const MemRegion* Parent, const MemRegion* SubRegion) [all...] |
AggExprVisitor.cpp | 30 const MemRegion *Dest; 36 AggExprVisitor(const MemRegion *dest, ExplodedNode *N, ExplodedNodeSet &dst, 66 void ExprEngine::VisitAggExpr(const Expr *E, const MemRegion *Dest,
|
ExprEngineCallAndReturn.cpp | 71 SmallVector<const MemRegion *, 8> RegionsToInvalidate; 76 if (const MemRegion *MR = Call.getInstanceMessageReceiver(LC).getAsRegion()) 83 if (const MemRegion *Callee = Call.getCXXCallee().getAsRegion()) 88 if (const MemRegion *Callee = Call.getFunctionCallee().getAsRegion()) { 104 if (const MemRegion *R = V.getAsRegion()) { 123 const MemRegion *superReg = ER->getSuperRegion();
|
SVals.cpp | 39 const MemRegion *R = RV->getRegion(); 52 const MemRegion* R = X->getRegion(); 68 const MemRegion *R = X->stripCasts(); 82 const MemRegion *R = X->getRegion(); 117 const MemRegion *SVal::getAsRegion() const { 128 const MemRegion *loc::MemRegionVal::stripCasts() const { 129 const MemRegion *R = getRegion();
|
Android.mk | 32 MemRegion.cpp \
|
ExprEngineCXX.cpp | 117 const MemRegion *R = 126 const MemRegion *Dest, 218 const MemRegion *Dest, 247 const MemRegion *NewReg = cast<loc::MemRegionVal>(symVal).getRegion(); 279 SmallVector<const MemRegion*, 10> regionsToInvalidate; 285 if (const MemRegion *region = val.getAsRegion()) 331 const MemRegion *R =
|
/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 48 const MemRegion *R; 54 RegionOffset(const MemRegion *r) : R(r), Offset(0) {} 55 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {} 57 const MemRegion *getRegion() const { return R; } 65 /// MemRegion - The root abstract class for all memory regions. 66 class MemRegion : public llvm::FoldingSetNode { 111 MemRegion(Kind k) : kind(k) { [all...] |
Store.h | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" 68 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 84 /// used to query and manipulate MemRegion objects. 88 /// to get the subregions of a given MemRegion object. It is the 118 const MemRegion *region, 134 const MemRegion *region; 137 const MemRegion* getRegion() const { return region; } 138 CastResult(const ProgramState *s, const MemRegion* r = 0) : state(s), region(r){} 141 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T); 144 /// a MemRegion* to a specific location type. 'R' is the region bein [all...] |
SubEngine.h | 44 class MemRegion; 107 ArrayRef<const MemRegion *> ExplicitRegions, 108 ArrayRef<const MemRegion *> Regions) = 0; 113 const MemRegion* MR) {
|
SymbolManager.h | 38 class MemRegion; 96 /// A symbol representing the value of a MemRegion. 165 /// A symbol representing the value of a MemRegion whose parent region has 235 const MemRegion* R; 241 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, 245 const MemRegion *getRegion() const { return R; } 254 static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R, 382 /// \brief Make a unique symbol for MemRegion R according to its kind. 403 const SymbolMetadata* getMetadataSymbol(const MemRegion* R, const Stmt *S, 441 typedef llvm::DenseSet<const MemRegion *> RegionSetTy [all...] |
ProgramState.h | 220 const ProgramState *invalidateRegions(ArrayRef<const MemRegion *> Regions, 259 SVal getSVal(const MemRegion* R) const; 261 SVal getSValAsScalarOrLoc(const MemRegion *R) const; 279 bool scanReachableSymbols(const MemRegion * const *I, 280 const MemRegion * const *E, 288 scanReachableSymbols(const MemRegion * const *beg, 289 const MemRegion * const *end) const; 363 invalidateRegionsImpl(ArrayRef<const MemRegion *> Regions, 706 inline SVal ProgramState::getSVal(const MemRegion* R) const { 777 CB ProgramState::scanReachableSymbols(const MemRegion * const *beg [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
PointerSubChecker.cpp | 46 const MemRegion *LR = LV.getAsRegion(); 47 const MemRegion *RR = RV.getAsRegion(); 52 const MemRegion *BaseLR = LR->getBaseRegion(); 53 const MemRegion *BaseRR = RR->getBaseRegion();
|
PthreadLockChecker.cpp | 50 public ProgramStatePartialTrait<llvm::ImmutableList<const MemRegion*> > { 102 const MemRegion *lockR = lock.getAsRegion(); 165 const MemRegion *lockR = lock.getAsRegion(); 170 llvm::ImmutableList<const MemRegion*> LS = state->get<LockSet>(); 177 const MemRegion *firstLockR = LS.getHead();
|
IteratorsChecker.cpp | 50 const MemRegion *getMemRegion() const { 52 return(const MemRegion *)VR; 65 static RefState getBeginValid(const MemRegion *vr) { 69 static RefState getEndValid(const MemRegion *vr) { 126 const MemRegion *MR, 131 const MemRegion *MR, 138 const MemRegion *getRegion(const ProgramState *state, 147 typedef llvm::ImmutableMap<const MemRegion *, RefState> EntryMap; 229 // initialized fromt the specified instance MemRegion. 231 const MemRegion *MR, const MemberExpr *ME) const [all...] |
StackAddrEscapeChecker.cpp | 36 void EmitStackError(CheckerContext &C, const MemRegion *R, 38 static SourceRange GenName(raw_ostream &os, const MemRegion *R, 44 const MemRegion *R, 91 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R, 123 const MemRegion *R = V.getAsRegion(); 151 SmallVector<std::pair<const MemRegion*, const MemRegion*>, 10> V; 157 const MemRegion *region, SVal val) { 162 const MemRegion *vR = val.getAsRegion();
|
CStringChecker.cpp | 50 ArrayRef<const MemRegion *> ExplicitRegions, 51 ArrayRef<const MemRegion *> Regions) const; 103 const MemRegion *MR, 108 const MemRegion *MR, 126 const MemRegion *MR); 175 typedef llvm::ImmutableMap<const MemRegion *, SVal> EntryMap; 254 const MemRegion *R = l.getAsRegion(); 589 const MemRegion *MR, 596 case MemRegion::StringRegionKind: 601 case MemRegion::SymbolicRegionKind [all...] |
ArrayBoundCheckerV2.cpp | 67 const MemRegion *region) { 72 case MemRegion::SymbolicRegionKind: 76 case MemRegion::ElementRegionKind: 252 const MemRegion *region = location.getAsRegion(); 265 case MemRegion::ElementRegionKind: {
|
AdjustedReturnValueChecker.cpp | 53 const MemRegion *callee = state->getSVal(CE->getCallee()).getAsRegion();
|
ArrayBoundChecker.cpp | 38 const MemRegion *R = l.getAsRegion();
|
MacOSXAPIChecker.cpp | 60 const MemRegion *R = state->getSVal(CE->getArg(0)).getAsRegion();
|
PointerArithChecker.cpp | 43 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; 65 const MemRegion *R; 71 /// \brief Convenience method to create a visitor given only the MemRegion. 75 const MemRegion *R); 81 FindLastStoreBRVisitor(SVal v, const MemRegion *r)
|