| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | Iterator.h | 36 const SymbolRef Offset;
38 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of) in IteratorPosition()
44 SymbolRef getOffset() const { return Offset; } in getOffset()
50 static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) { in getPosition()
54 IteratorPosition setTo(SymbolRef NewOf) const { in setTo()
80 const SymbolRef Begin, End;
82 ContainerData(SymbolRef B, SymbolRef E) : Begin(B), End(E) {} in ContainerData()
85 static ContainerData fromBegin(SymbolRef B) { in fromBegin()
89 static ContainerData fromEnd(SymbolRef E) { in fromEnd()
93 SymbolRef getBegin() const { return Begin; } in getBegin()
[all …]
|
| D | FuchsiaHandleChecker.cpp | 106 SymbolRef ErrorSym;
107 HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {} in HandleState()
118 static HandleState getMaybeAllocated(SymbolRef ErrorSym) { in getMaybeAllocated()
135 SymbolRef getErrorSym() const { return ErrorSym; } in getErrorSym()
187 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
190 void reportDoubleRelease(SymbolRef HandleSym, const SourceRange &Range,
193 void reportUseAfterFree(SymbolRef HandleSym, const SourceRange &Range,
196 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
205 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
207 static const ExplodedNode *getAcquireSite(const ExplodedNode *N, SymbolRef Sym, in REGISTER_MAP_WITH_PROGRAMSTATE()
[all …]
|
| D | SimpleStreamChecker.cpp | 28 typedef SmallVector<SymbolRef, 2> SymbolVector;
59 void reportDoubleClose(SymbolRef FileDescSym,
63 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
89 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
98 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
126 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
145 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
162 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
181 SymbolRef Sym = I->first; in checkDeadSymbols()
199 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym, in reportDoubleClose()
[all …]
|
| D | TrustNonnullChecker.cpp | 37 REGISTER_MAP_WITH_PROGRAMSTATE(NonNullImplicationMap, SymbolRef, SymbolRef)
41 REGISTER_MAP_WITH_PROGRAMSTATE(NullImplicationMap, SymbolRef, SymbolRef)
68 const SymbolRef CondS = Cond.getAsSymbol(); in evalAssume()
73 const SymbolRef Antecedent = *B; in evalAssume()
116 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
117 SymbolRef RetS = Msg.getReturnValue().getAsSymbol(); in checkPostObjCMessage()
149 for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>()) in dropDeadFromGDM()
213 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication()
219 const SymbolRef *Consequent = in addImplication()
|
| D | CheckObjCDealloc.cpp | 133 bool diagnoseExtraRelease(SymbolRef ReleasedValue, const ObjCMethodCall &M,
136 bool diagnoseMistakenDealloc(SymbolRef DeallocedValue,
140 SymbolRef getValueReleasedByNillingOut(const ObjCMethodCall &M,
143 const ObjCIvarRegion *getIvarRegionForIvarSymbol(SymbolRef IvarSym) const;
144 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
147 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
166 void transitionToReleaseValue(CheckerContext &C, SymbolRef Value) const;
168 SymbolRef InstanceSym,
169 SymbolRef ValueSym) const;
183 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE() argument
[all …]
|
| D | Taint.cpp | 22 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
27 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions) in REGISTER_MAP_WITH_PROGRAMSTATE()
50 SymbolRef Sym = V.getAsSymbol(); in addTaint()
67 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint()
83 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint()
96 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
110 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) { in removeTaint()
122 SymbolRef ParentSym, in addPartialTaint()
151 if (SymbolRef Sym = V.getAsSymbol()) in isTainted()
178 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) { in isTainted()
|
| D | ObjCSuperDeallocChecker.cpp | 53 void reportUseAfterDealloc(SymbolRef Sym, StringRef Desc, const Stmt *S,
61 REGISTER_SET_WITH_PROGRAMSTATE(CalledSuperDealloc, SymbolRef)
65 SymbolRef ReceiverSymbol;
69 SuperDeallocBRVisitor(SymbolRef ReceiverSymbol) in SuperDeallocBRVisitor()
86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
120 SymbolRef SelfSymbol = State->getSelfSVal(LC).getAsSymbol(); in checkPostObjCMessage()
132 SymbolRef BaseSym = L.getLocSymbolInBase(); in checkLocation()
175 void ObjCSuperDeallocChecker::reportUseAfterDealloc(SymbolRef Sym, in reportUseAfterDealloc()
205 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
|
| /external/llvm/include/llvm/Object/ |
| D | ObjectFile.h | 33 class SymbolRef; variable
70 friend class SymbolRef; variable
100 bool containsSymbol(SymbolRef S) const;
115 class SymbolRef : public BasicSymbolRef {
119 SymbolRef() : BasicSymbolRef() {} in SymbolRef() function
130 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
131 SymbolRef(const BasicSymbolRef &B) : BasicSymbolRef(B) { in SymbolRef() function
147 Expected<SymbolRef::Type> getType() const;
158 symbol_iterator(SymbolRef Sym) : basic_symbol_iterator(Sym) {} in symbol_iterator()
160 : basic_symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in symbol_iterator()
[all …]
|
| /external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/Object/ |
| D | ObjectFile.h | 44 class SymbolRef; variable
82 friend class SymbolRef; variable
126 bool containsSymbol(SymbolRef S) const;
162 class SymbolRef : public BasicSymbolRef {
175 SymbolRef() = default;
176 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
177 SymbolRef(const BasicSymbolRef &B) : BasicSymbolRef(B) { in SymbolRef() function
193 Expected<SymbolRef::Type> getType() const;
204 symbol_iterator(SymbolRef Sym) : basic_symbol_iterator(Sym) {} in symbol_iterator()
206 : basic_symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in symbol_iterator()
[all …]
|
| /external/llvm-project/llvm/include/llvm/Object/ |
| D | ObjectFile.h | 43 class SymbolRef; variable
81 friend class SymbolRef; variable
128 bool containsSymbol(SymbolRef S) const;
164 class SymbolRef : public BasicSymbolRef {
177 SymbolRef() = default;
178 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
179 SymbolRef(const BasicSymbolRef &B) : BasicSymbolRef(B) { in SymbolRef() function
195 Expected<SymbolRef::Type> getType() const;
206 symbol_iterator(SymbolRef Sym) : basic_symbol_iterator(Sym) {} in symbol_iterator()
208 : basic_symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in symbol_iterator()
[all …]
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.h | 53 SymbolRef Sym,
67 virtual ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
71 virtual ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
75 virtual ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
79 virtual ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
83 virtual ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
87 virtual ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
93 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
97 ProgramStateRef state, SymbolRef Sym, const llvm::APSInt &From,
113 SymbolRef Sym,
|
| D | RangeConstraintManager.cpp | 290 CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef,
295 RangeSet GetRange(ProgramStateRef state, SymbolRef sym);
300 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
304 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
308 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
312 ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
316 ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
320 ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
325 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
329 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
[all …]
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | RangedConstraintManager.h | 139 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>;
153 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
156 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym,
161 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym,
166 virtual ProgramStateRef assumeSymRel(ProgramStateRef State, SymbolRef Sym,
177 virtual ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
181 virtual ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
185 virtual ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
189 virtual ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
193 virtual ProgramStateRef assumeSymLE(ProgramStateRef State, SymbolRef Sym,
[all …]
|
| D | SymbolManager.h | 132 SymbolRef parentSymbol;
136 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
143 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
153 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent, in Profile()
420 llvm::DenseMap<SymbolRef, std::unique_ptr<SymbolRefSmallVectorTy>>;
456 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
496 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
498 const SymbolRefSmallVectorTy *getDependentSymbols(const SymbolRef Primary);
511 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
512 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
[all …]
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | SimpleStreamChecker.cpp | 29 typedef SmallVector<SymbolRef, 2> SymbolVector;
60 void reportDoubleClose(SymbolRef FileDescSym,
64 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
90 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
99 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
127 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
146 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
163 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
182 SymbolRef Sym = I->first; in checkDeadSymbols()
200 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym, in reportDoubleClose()
[all …]
|
| D | CheckObjCDealloc.cpp | 133 bool diagnoseExtraRelease(SymbolRef ReleasedValue, const ObjCMethodCall &M,
136 bool diagnoseMistakenDealloc(SymbolRef DeallocedValue,
140 SymbolRef getValueReleasedByNillingOut(const ObjCMethodCall &M,
143 const ObjCIvarRegion *getIvarRegionForIvarSymbol(SymbolRef IvarSym) const;
144 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
147 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
166 void transitionToReleaseValue(CheckerContext &C, SymbolRef Value) const;
168 SymbolRef InstanceSym,
169 SymbolRef ValueSym) const;
179 typedef llvm::ImmutableSet<SymbolRef> SymbolSet;
[all …]
|
| D | ObjCSuperDeallocChecker.cpp | 54 void reportUseAfterDealloc(SymbolRef Sym, StringRef Desc, const Stmt *S,
62 REGISTER_SET_WITH_PROGRAMSTATE(CalledSuperDealloc, SymbolRef)
68 SymbolRef ReceiverSymbol;
72 SuperDeallocBRVisitor(SymbolRef ReceiverSymbol) in SuperDeallocBRVisitor()
91 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
126 SymbolRef ReceiverSymbol = M.getSelfSVal().getAsSymbol(); in checkPostObjCMessage()
138 SymbolRef BaseSym = L.getLocSymbolInBase(); in checkLocation()
181 void ObjCSuperDeallocChecker::reportUseAfterDealloc(SymbolRef Sym, in reportUseAfterDealloc()
211 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
|
| D | MacOSKeychainAPIChecker.cpp | 40 SymbolRef Region;
42 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) : in AllocationState()
62 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
103 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
110 bool definitelyReturnedError(SymbolRef RetSym,
116 bool definitelyDidnotReturnError(SymbolRef RetSym, in definitelyDidnotReturnError()
135 SymbolRef Sym;
138 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
158 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
210 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 394 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef)
400 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMap, SymbolRef, EquivalenceClass)
436 SymbolRef Sym);
441 SymbolRef First, SymbolRef Second);
458 ProgramStateRef State, SymbolRef First, SymbolRef Second);
467 getDisequalClasses(ProgramStateRef State, SymbolRef Sym);
474 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
505 /* implicit */ EquivalenceClass(SymbolRef Sym) in EquivalenceClass()
513 SymbolRef getRepresentativeSymbol() const { in getRepresentativeSymbol()
514 return reinterpret_cast<SymbolRef>(ID); in getRepresentativeSymbol()
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountDiagnostics.h | 51 SymbolRef Sym;
56 ExplodedNode *n, SymbolRef sym,
60 ExplodedNode *n, SymbolRef sym,
77 void deriveParamLocation(CheckerContext &Ctx, SymbolRef sym);
79 void deriveAllocLocation(CheckerContext &Ctx, SymbolRef sym);
85 SymbolRef sym, CheckerContext &Ctx);
|
| /external/llvm/lib/DebugInfo/Symbolize/ |
| D | SymbolizableObjectFile.cpp | 56 std::vector<std::pair<SymbolRef, uint64_t>> Symbols = in create()
119 std::error_code SymbolizableObjectFile::addSymbol(const SymbolRef &Symbol, in addSymbol()
123 Expected<SymbolRef::Type> SymbolTypeOrErr = Symbol.getType(); in addSymbol()
126 SymbolRef::Type SymbolType = *SymbolTypeOrErr; in addSymbol()
127 if (SymbolType != SymbolRef::ST_Function && SymbolType != SymbolRef::ST_Data) in addSymbol()
154 auto &M = SymbolType == SymbolRef::ST_Function ? Functions : Objects; in addSymbol()
172 bool SymbolizableObjectFile::getNameFromSymbolTable(SymbolRef::Type Type, in getNameFromSymbolTable()
177 const auto &SymbolMap = Type == SymbolRef::ST_Function ? Functions : Objects; in getNameFromSymbolTable()
216 if (getNameFromSymbolTable(SymbolRef::ST_Function, ModuleOffset, in symbolizeCode()
239 if (getNameFromSymbolTable(SymbolRef::ST_Function, ModuleOffset, in symbolizeInlinedCode()
[all …]
|
| /external/llvm-project/flang/lib/Lower/ |
| D | SymbolMap.h | 176 void addSymbol(semantics::SymbolRef sym, mlir::Value value,
182 void addCharSymbol(semantics::SymbolRef sym, mlir::Value value,
188 void addSymbolWithShape(semantics::SymbolRef sym, mlir::Value value,
195 void addCharSymbolWithShape(semantics::SymbolRef sym, mlir::Value value,
203 void addSymbolWithBounds(semantics::SymbolRef sym, mlir::Value value,
211 void addCharSymbolWithBounds(semantics::SymbolRef sym, mlir::Value value,
220 void addDerivedSymbol(semantics::SymbolRef sym, mlir::Value value,
230 SymbolBox lookupSymbol(semantics::SymbolRef sym) { in lookupSymbol()
236 void erase(semantics::SymbolRef sym) { symbolMap.erase(&*sym); } in erase()
246 void makeSym(semantics::SymbolRef sym, const SymbolBox &box,
|
| /external/llvm-project/llvm/lib/DebugInfo/Symbolize/ |
| D | SymbolizableObjectFile.cpp | 57 std::vector<std::pair<SymbolRef, uint64_t>> Symbols = in create()
147 Error SymbolizableObjectFile::addSymbol(const SymbolRef &Symbol, in addSymbol()
156 Expected<SymbolRef::Type> SymbolTypeOrErr = Symbol.getType(); in addSymbol()
159 SymbolRef::Type SymbolType = *SymbolTypeOrErr; in addSymbol()
160 if (SymbolType != SymbolRef::ST_Function && SymbolType != SymbolRef::ST_Data) in addSymbol()
191 auto &M = SymbolType == SymbolRef::ST_Function ? Functions : Objects; in addSymbol()
209 bool SymbolizableObjectFile::getNameFromSymbolTable(SymbolRef::Type Type, in getNameFromSymbolTable()
214 const auto &Symbols = Type == SymbolRef::ST_Function ? Functions : Objects; in getNameFromSymbolTable()
253 if (getNameFromSymbolTable(SymbolRef::ST_Function, ModuleOffset.Address, in symbolizeCode()
278 if (getNameFromSymbolTable(SymbolRef::ST_Function, ModuleOffset.Address, in symbolizeInlinedCode()
[all …]
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/DebugInfo/Symbolize/ |
| D | SymbolizableObjectFile.cpp | 72 std::vector<std::pair<SymbolRef, uint64_t>> Symbols = in create()
160 std::error_code SymbolizableObjectFile::addSymbol(const SymbolRef &Symbol, in addSymbol()
169 Expected<SymbolRef::Type> SymbolTypeOrErr = Symbol.getType(); in addSymbol()
172 SymbolRef::Type SymbolType = *SymbolTypeOrErr; in addSymbol()
173 if (SymbolType != SymbolRef::ST_Function && SymbolType != SymbolRef::ST_Data) in addSymbol()
204 auto &M = SymbolType == SymbolRef::ST_Function ? Functions : Objects; in addSymbol()
222 bool SymbolizableObjectFile::getNameFromSymbolTable(SymbolRef::Type Type, in getNameFromSymbolTable()
227 const auto &Symbols = Type == SymbolRef::ST_Function ? Functions : Objects; in getNameFromSymbolTable()
266 if (getNameFromSymbolTable(SymbolRef::ST_Function, ModuleOffset.Address, in symbolizeCode()
291 if (getNameFromSymbolTable(SymbolRef::ST_Function, ModuleOffset.Address, in symbolizeInlinedCode()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 118 SymbolRef parentSymbol;
122 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
125 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
133 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent, in Profile()
391 typedef llvm::DenseMap<SymbolRef, SymbolRefSmallVectorTy*> SymbolDependTy;
428 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
466 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
468 const SymbolRefSmallVectorTy *getDependentSymbols(const SymbolRef Primary);
481 typedef llvm::DenseSet<SymbolRef> SymbolSetTy;
482 typedef llvm::DenseMap<SymbolRef, SymbolStatus> SymbolMapTy;
[all …]
|