| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| AllocationState.h | 20 ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym,
26 std::unique_ptr<BugReporterVisitor> getInnerPointerBRVisitor(SymbolRef Sym);
31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
|
| Iterator.h | 36 const SymbolRef Offset;
38 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of)
44 SymbolRef getOffset() const { return Offset; }
50 static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) {
54 IteratorPosition setTo(SymbolRef NewOf) const {
80 const SymbolRef Begin, End;
82 ContainerData(SymbolRef B, SymbolRef E) : Begin(B), End(E) {}
85 static ContainerData fromBegin(SymbolRef B) {
89 static ContainerData fromEnd(SymbolRef E)
[all...] |
| 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 {
126 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol();
145 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
162 static bool isLeaked(SymbolRef Sym, const StreamState &SS,
181 SymbolRef Sym = I->first;
199 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym
[all...] |
| Taint.h | 39 LLVM_NODISCARD ProgramStateRef addTaint(ProgramStateRef State, SymbolRef Sym,
54 SymbolRef Sym);
61 ProgramStateRef State, SymbolRef ParentSym, const SubRegion *SubRegion,
74 bool isTainted(ProgramStateRef State, SymbolRef Sym,
|
| TrustNonnullChecker.cpp | 37 REGISTER_MAP_WITH_PROGRAMSTATE(NonNullImplicationMap, SymbolRef, SymbolRef)
41 REGISTER_MAP_WITH_PROGRAMSTATE(NullImplicationMap, SymbolRef, SymbolRef)
68 const SymbolRef CondS = Cond.getAsSymbol();
73 const SymbolRef Antecedent = *B;
116 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol();
117 SymbolRef RetS = Msg.getReturnValue().getAsSymbol();
149 for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>()
[all...] |
| Taint.cpp | 22 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType)
27 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions)
50 SymbolRef Sym = V.getAsSymbol();
67 if (SymbolRef Sym = binding->getAsSymbol())
83 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,
96 SymbolRef Sym = V.getAsSymbol();
110 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {
122 SymbolRef ParentSym,
151 if (SymbolRef Sym = V.getAsSymbol())
178 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind)
[all...] |
| FuchsiaHandleChecker.cpp | 116 SymbolRef ErrorSym;
117 HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {}
129 static HandleState getMaybeAllocated(SymbolRef ErrorSym) {
149 SymbolRef getErrorSym() const { return ErrorSym; }
209 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
212 void reportDoubleRelease(SymbolRef HandleSym, const SourceRange &Range,
215 void reportUnownedRelease(SymbolRef HandleSym, const SourceRange &Range,
218 void reportUseAfterFree(SymbolRef HandleSym, const SourceRange &Range,
221 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
230 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState
[all...] |
| ObjCSuperDeallocChecker.cpp | 53 void reportUseAfterDealloc(SymbolRef Sym, StringRef Desc, const Stmt *S,
60 // SymbolRef for the receiver.
61 REGISTER_SET_WITH_PROGRAMSTATE(CalledSuperDealloc, SymbolRef)
65 SymbolRef ReceiverSymbol;
69 SuperDeallocBRVisitor(SymbolRef ReceiverSymbol)
86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol();
120 SymbolRef SelfSymbol = State->getSelfSVal(LC).getAsSymbol();
132 SymbolRef BaseSym = L.getLocSymbolInBase();
175 void ObjCSuperDeallocChecker::reportUseAfterDealloc(SymbolRef Sym,
205 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol()
[all...] |
| ObjCContainersChecker.cpp | 40 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const {
42 SymbolRef ArraySym = ArrayRef.getAsSymbol();
66 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal)
78 SymbolRef ArraySym = ArrayRef.getAsSymbol();
122 SymbolRef ArraySym = getArraySym(ArrayExpr, C);
|
| 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
[all...] |
| /src/external/apache2/llvm/dist/llvm/lib/Target/ARM/MCTargetDesc/ |
| ARMMCExpr.cpp | 30 if (Expr->getKind() != MCExpr::SymbolRef)
33 if (Expr->getKind() != MCExpr::SymbolRef)
|
| /src/external/apache2/llvm/dist/llvm/tools/llvm-objdump/ |
| XCOFFDump.h | 21 const object::SymbolRef &Sym);
23 bool isLabel(const object::XCOFFObjectFile *Obj, const object::SymbolRef &Sym);
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| RetainCountDiagnostics.h | 51 SymbolRef Sym;
56 ExplodedNode *n, SymbolRef sym,
60 ExplodedNode *n, SymbolRef sym,
88 SymbolRef sym, CheckerContext &Ctx);
|
| RetainCountChecker.cpp | 22 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) {
36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,
42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {
135 bool VisitSymbol(SymbolRef sym) override {
211 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol();
235 if (SymbolRef sym = V.getAsSymbol())
249 if (SymbolRef sym =
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) {
292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol()
[all...] |
| RetainCountChecker.h | 328 SymbolRef Sym, ProgramStateRef state) const;
334 ProgramStateRef updateSymbol(ProgramStateRef state, SymbolRef sym,
339 SymbolRef Sym) const;
342 RefVal::Kind ErrorKind, SymbolRef Sym,
348 SymbolRef sid, RefVal V,
349 SmallVectorImpl<SymbolRef> &Leaked) const;
354 SymbolRef Sym,
359 SmallVectorImpl<SymbolRef> &Leaked,
380 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym);
|
| /src/external/apache2/llvm/dist/llvm/include/llvm/Object/ |
| SymbolSize.h | 27 std::vector<std::pair<SymbolRef, uint64_t>>
|
| ObjectFile.h | 43 class SymbolRef;
81 friend class SymbolRef;
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) {
195 Expected<SymbolRef::Type> getType() const;
206 symbol_iterator(SymbolRef Sym) : basic_symbol_iterator(Sym) {}
208 : basic_symbol_iterator(SymbolRef(B->getRawDataRefImpl()
[all...] |
| IRSymtab.h | 252 class SymbolRef;
263 using symbol_range = iterator_range<object::content_iterator<SymbolRef>>;
307 class Reader::SymbolRef : public Symbol {
332 SymbolRef(const storage::Symbol *SymI, const storage::Symbol *SymE,
345 bool operator==(const SymbolRef &Other) const { return SymI == Other.SymI; }
349 return {SymbolRef(Symbols.begin(), Symbols.end(), Uncommons.begin(), this),
350 SymbolRef(Symbols.end(), Symbols.end(), nullptr, this)};
357 return {SymbolRef(MBegin, MEnd, Uncommons.begin() + M.UncBegin, this),
358 SymbolRef(MEnd, MEnd, nullptr, this)};
|
| /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| ConstraintManager.cpp | 26 SymbolRef Sym) {
33 SymbolRef Sym) {
|
| RangedConstraintManager.cpp | 24 SymbolRef Sym,
58 SymbolRef Subtraction =
72 SymbolRef CanonicalEquality =
94 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
101 SymbolRef AdjustedSym = Sym;
123 SymbolRef Sym, bool Assumption) {
140 SymbolRef Sym,
204 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym,
|
| RangeConstraintManager.cpp | 505 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef)
511 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMap, SymbolRef, EquivalenceClass)
547 SymbolRef Sym);
552 SymbolRef First, SymbolRef Second);
569 ProgramStateRef State, SymbolRef First, SymbolRef Second);
578 getDisequalClasses(ProgramStateRef State, SymbolRef Sym);
585 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second)
[all...] |
| /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| DynamicType.h | 40 SymbolRef Sym);
58 SymbolRef Sym,
63 SymbolRef Sym, QualType NewTy,
|
| SimpleConstraintManager.h | 54 virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
62 SymbolRef Sym,
70 SymbolRef Sym,
|
| RangedConstraintManager.h | 310 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>;
324 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
327 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym,
332 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym,
337 virtual ProgramStateRef assumeSymRel(ProgramStateRef State, SymbolRef Sym,
348 virtual ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
352 virtual ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
356 virtual ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
360 virtual ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
364 virtual ProgramStateRef assumeSymLE(ProgramStateRef State, SymbolRef Sym
[all...] |
| /src/external/apache2/llvm/dist/llvm/tools/llvm-readobj/ |
| Win64EHDumper.h | 18 class SymbolRef;
29 uint64_t, object::SymbolRef &,
|
