HomeSort by: relevance | last modified time | path
    Searched refs:MemRegion (Results 1 - 25 of 102) sorted by relevancy

1 2 3 4 5

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
Move.h 24 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region);
SmartPtr.h 27 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion);
AllocationState.h 31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
PointerSubChecker.cpp 44 const MemRegion *LR = LV.getAsRegion();
45 const MemRegion *RR = RV.getAsRegion();
50 const MemRegion *BaseLR = LR->getBaseRegion();
51 const MemRegion *BaseRR = RR->getBaseRegion();
SmartPtrChecker.cpp 42 void reportBug(CheckerContext &C, const MemRegion *DerefRegion,
44 void explainDereference(llvm::raw_ostream &OS, const MemRegion *DerefRegion,
68 const MemRegion *ThisRegion = OC->getCXXThisVal().getAsRegion();
79 void SmartPtrChecker::reportBug(CheckerContext &C, const MemRegion *DerefRegion,
94 const MemRegion *DerefRegion,
StackAddrEscapeChecker.cpp 57 void EmitStackError(CheckerContext &C, const MemRegion *R,
60 static SourceRange genName(raw_ostream &os, const MemRegion *R,
62 static SmallVector<const MemRegion *, 4>
64 static bool isArcManagedBlock(const MemRegion *R, CheckerContext &C);
65 static bool isNotInCurrentFrame(const MemRegion *R, CheckerContext &C);
69 SourceRange StackAddrEscapeChecker::genName(raw_ostream &os, const MemRegion *R,
113 bool StackAddrEscapeChecker::isArcManagedBlock(const MemRegion *R,
115 assert(R && "MemRegion should not be null");
120 bool StackAddrEscapeChecker::isNotInCurrentFrame(const MemRegion *R,
137 SmallVector<const MemRegion *, 4
    [all...]
MacOSXAPIChecker.cpp 36 static const ObjCIvarRegion *getParentIvarRegion(const MemRegion *R);
55 MacOSXAPIChecker::getParentIvarRegion(const MemRegion *R) {
72 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();
77 const MemRegion *RB = R->getBaseRegion();
PointerArithChecker.cpp 50 const MemRegion *getArrayRegion(const MemRegion *Region, bool &Polymorphic,
52 const MemRegion *getPointedRegion(const MemRegion *Region,
74 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, const MemRegion *, AllocKind)
104 const MemRegion *
105 PointerArithChecker::getPointedRegion(const MemRegion *Region,
117 const MemRegion *PointerArithChecker::getArrayRegion(const MemRegion *Region,
156 const MemRegion *Region = C.getSVal(E).getAsRegion()
    [all...]
MoveChecker.cpp 59 ArrayRef<const MemRegion *> RequestedRegions,
60 ArrayRef<const MemRegion *> InvalidatedRegions,
148 ObjectKind classifyObject(const MemRegion *MR, const CXXRecordDecl *RD) const;
152 void explainObject(llvm::raw_ostream &OS, const MemRegion *MR,
159 MovedBugVisitor(const MoveChecker &Chk, const MemRegion *R,
180 const MemRegion *Region;
211 void modelUse(ProgramStateRef State, const MemRegion *Region,
217 ExplodedNode *reportBug(const MemRegion *Region, const CXXRecordDecl *RD,
224 const MemRegion *Region,
229 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState
    [all...]
SmartPtrModeling.cpp 28 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
53 ArrayRef<const MemRegion *> ExplicitRegions,
54 ArrayRef<const MemRegion *> Regions,
67 const MemRegion *ThisRegion) const;
68 bool updateMovedSmartPointers(CheckerContext &C, const MemRegion *ThisRegion,
69 const MemRegion *OtherSmartPtrRegion) const;
82 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal)
104 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) {
117 const MemRegion *Region) {
128 const MemRegion *Region
    [all...]
Taint.h 45 const MemRegion *R,
51 const MemRegion *R);
79 bool isTainted(ProgramStateRef State, const MemRegion *Reg,
Iterator.h 30 const MemRegion *Cont;
38 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of)
42 const MemRegion *getContainer() const { return Cont; }
50 static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) {
58 IteratorPosition reAssign(const MemRegion *NewCont) const {
121 CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, IteratorPosition);
123 CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, ContainerData);
167 const MemRegion *Cont);
173 const MemRegion *Cont, const Stmt* S,
ValistChecker.cpp 24 REGISTER_SET_WITH_PROGRAMSTATE(InitializedVALists, const MemRegion *)
27 typedef SmallVector<const MemRegion *, 2> RegionVector;
56 const MemRegion *getVAListAsRegion(SVal SV, const Expr *VAExpr,
59 const MemRegion *Reg) const;
61 void reportUninitializedAccess(const MemRegion *VAList, StringRef Msg,
73 ValistBugVisitor(const MemRegion *Reg, bool IsLeak = false)
96 const MemRegion *Reg;
140 const MemRegion *VAList =
163 const MemRegion *ValistChecker::getVAListAsRegion(SVal SV, const Expr *E,
166 const MemRegion *Reg = SV.getAsRegion()
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DynamicExtent.h 16 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
27 const MemRegion *MR, SValBuilder &SVB);
34 const MemRegion *MR,
38 ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR,
DynamicType.h 32 DynamicTypeInfo getDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR);
36 const MemRegion *MR);
44 const MemRegion *MR,
49 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
53 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
68 const MemRegion *MR,
MemRegion.h 1 //==- MemRegion.h - Abstract memory regions for static analysis -*- C++ -*--==//
9 // This file defines MemRegion and its subclasses. MemRegion defines a
54 class MemRegion;
64 const MemRegion *R = nullptr;
75 RegionOffset(const MemRegion *r, int64_t off) : R(r), Offset(off) {}
77 const MemRegion *getRegion() const { return R; }
93 /// MemRegion - The root abstract class for all memory regions.
94 class MemRegion : public llvm::FoldingSetNode {
107 MemRegion(Kind k) : kind(k) {
    [all...]
Store.h 17 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
86 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
112 virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
117 virtual StoreRef BindDefaultZero(Store store, const MemRegion *R) = 0;
129 /// used to query and manipulate MemRegion objects.
182 /// a MemRegion* to a specific location type. 'R' is the region being
184 const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
190 const MemRegion *region) const = 0;
201 using InvalidatedRegions = SmallVector<const MemRegion *, 8>
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
Store.cpp 25 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
74 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
113 case MemRegion::CXXThisRegionKind:
114 case MemRegion::CodeSpaceRegionKind:
115 case MemRegion::StackLocalsSpaceRegionKind:
116 case MemRegion::StackArgumentsSpaceRegionKind:
117 case MemRegion::HeapSpaceRegionKind:
118 case MemRegion::UnknownSpaceRegionKind:
119 case MemRegion::StaticGlobalSpaceRegionKind
    [all...]
MemRegion.cpp 1 //===- MemRegion.cpp - Abstract memory regions for static analysis --------===//
9 // This file defines MemRegion and its subclasses. MemRegion defines a
15 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
60 #define DEBUG_TYPE "MemRegion"
63 // MemRegion Construction.
123 MemRegion::~MemRegion() = default;
133 bool SubRegion::isSubRegionOf(const MemRegion* R) const {
134 const MemRegion* r = this
    [all...]
DynamicExtent.cpp 16 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
22 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicExtentMap, const clang::ento::MemRegion *,
29 const MemRegion *MR, SValBuilder &SVB) {
44 const MemRegion *MR,
60 const MemRegion *MRegion = BufV.getAsRegion();
66 const MemRegion *BaseRegion = MRegion->getBaseRegion();
81 ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR,
RegionStore.cpp 27 #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
49 llvm::PointerIntPair<const MemRegion *, 2> P;
61 explicit BindingKey(const MemRegion *r, uint64_t offset, Kind k)
74 const MemRegion *getRegion() const { return P.getPointer(); }
85 const MemRegion *getBaseRegion() const {
96 static BindingKey Make(const MemRegion *R, Kind k);
115 BindingKey BindingKey::Make(const MemRegion *R, Kind k) {
150 typedef llvm::ImmutableMap<const MemRegion *, ClusterBindings>
154 class RegionBindingsRef : public llvm::ImmutableMapRef<const MemRegion *,
170 typedef llvm::ImmutableMapRef<const MemRegion *, ClusterBindings
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
MPIBugReporter.h 44 const MemRegion *const RequestRegion,
55 const MemRegion *const RequestRegion,
66 const MemRegion *const RequestRegion,
82 RequestNodeVisitor(const MemRegion *const MemoryRegion,
97 const MemRegion *const RequestRegion;
MPIChecker.h 85 llvm::SmallVector<const clang::ento::MemRegion *, 2> &ReqRegions,
86 const clang::ento::MemRegion *const MR, const clang::ento::CallEvent &CE,
93 const clang::ento::MemRegion *
MPITypes.h 49 typedef llvm::ImmutableMap<const clang::ento::MemRegion *,
MPIChecker.cpp 30 const MemRegion *const MR =
61 const MemRegion *const MR = topRegionUsedByWait(PreCallEvent);
70 llvm::SmallVector<const MemRegion *, 2> ReqRegions;
135 const MemRegion *MPIChecker::topRegionUsedByWait(const CallEvent &CE) const {
142 return (const MemRegion *)nullptr;
147 llvm::SmallVector<const MemRegion *, 2> &ReqRegions,
148 const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {
177 ReqRegions.push_back(ER->getAs<MemRegion>());

Completed in 78 milliseconds

1 2 3 4 5