Home
last modified time | relevance | path

Searched refs:SymbolRef (Results 1 – 25 of 179) sorted by relevance

12345678

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.h36 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()
78 const SymbolRef Begin, End;
80 ContainerData(SymbolRef B, SymbolRef E) : Begin(B), End(E) {} in ContainerData()
83 static ContainerData fromBegin(SymbolRef B) { in fromBegin()
87 static ContainerData fromEnd(SymbolRef E) { in fromEnd()
91 SymbolRef getBegin() const { return Begin; } in getBegin()
[all …]
H A DFuchsiaHandleChecker.cpp117 SymbolRef ErrorSym;
118 HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {} in HandleState()
130 static HandleState getMaybeAllocated(SymbolRef ErrorSym) { in getMaybeAllocated()
150 SymbolRef getErrorSym() const { return ErrorSym; } in getErrorSym()
210 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
213 void reportDoubleRelease(SymbolRef HandleSym, const SourceRange &Range,
216 void reportUnownedRelease(SymbolRef HandleSym, const SourceRange &Range,
219 void reportUseAfterFree(SymbolRef HandleSym, const SourceRange &Range,
222 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
231 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
[all …]
H A DTrustNonnullChecker.cpp37 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()
H A DSimpleStreamChecker.cpp29 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) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
113 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
132 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
149 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
168 SymbolRef Sym = I->first; in checkDeadSymbols()
186 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym, in reportDoubleClose()
203 void SimpleStreamChecker::reportLeaks(ArrayRef<SymbolRef> LeakedStreams, in reportLeaks()
[all …]
H A DCheckObjCDealloc.cpp134 bool diagnoseExtraRelease(SymbolRef ReleasedValue, const ObjCMethodCall &M,
137 bool diagnoseMistakenDealloc(SymbolRef DeallocedValue,
141 SymbolRef getValueReleasedByNillingOut(const ObjCMethodCall &M,
144 const ObjCIvarRegion *getIvarRegionForIvarSymbol(SymbolRef IvarSym) const;
145 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
148 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
167 void transitionToReleaseValue(CheckerContext &C, SymbolRef Value) const;
169 SymbolRef InstanceSym,
170 SymbolRef ValueSym) const;
184 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE() argument
[all …]
H A DTaint.cpp23 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
28 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions) in REGISTER_MAP_WITH_PROGRAMSTATE()
53 SymbolRef Sym = V.getAsSymbol(); in addTaint()
70 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint()
86 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint()
99 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
113 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) { in removeTaint()
125 SymbolRef ParentSym, in addPartialTaint()
154 if (SymbolRef Sym = V.getAsSymbol()) in isTainted()
181 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) { in isTainted()
H A DObjCSuperDeallocChecker.cpp53 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()
H A DMacOSKeychainAPIChecker.cpp43 SymbolRef Region;
45 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) : in AllocationState()
73 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
114 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
135 SymbolRef Sym;
138 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
157 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
208 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
215 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()
270 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
[all …]
H A DIteratorRangeChecker.cpp294 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
295 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
296 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
353 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isLess()
357 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isGreater()
361 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isEqual()
H A DContainerModeling.cpp103 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
104 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
119 const MemRegion *Cont, SymbolRef Offset,
122 SymbolRef Offset,
125 SymbolRef Offset1,
127 SymbolRef Offset2,
135 SymbolRef Offset,
138 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
139 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
140 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
[all …]
H A DStreamChecker.cpp375 void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
381 ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
405 SymbolRef StreamSym;
416 const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym, in constructNoteTag()
422 SymbolRef StreamSym) const { in constructSetEofNoteTag()
448 SymbolRef StreamSym,
457 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
464 SymbolRef StreamSym, in getAcquisitionSite()
519 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
566 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
[all …]
H A DAllocationState.h20 ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym,
26 std::unique_ptr<BugReporterVisitor> getInnerPointerBRVisitor(SymbolRef Sym);
31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
H A DMallocChecker.cpp216 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
219 static bool isReleased(SymbolRef Sym, CheckerContext &C);
236 REGISTER_SET_WITH_PROGRAMSTATE(ReallocSizeZeroSymbols, SymbolRef)
265 SymbolRef ReallocatedSym;
268 ReallocPair(SymbolRef S, OwnershipAfterReallocKind K) in ReallocPair()
282 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
638 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
642 void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
646 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
660 SymbolRef &EscapingSymbol) const;
[all …]
/openbsd-src/gnu/llvm/llvm/include/llvm/Object/
H A DObjectFile.h43 class SymbolRef; variable
81 friend class SymbolRef; variable
128 bool containsSymbol(SymbolRef S) const;
167 class SymbolRef : public BasicSymbolRef {
180 SymbolRef() = default;
181 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
182 SymbolRef(const BasicSymbolRef &B) : BasicSymbolRef(B) { in SymbolRef() function
198 Expected<SymbolRef::Type> getType() const;
209 symbol_iterator(SymbolRef Sym) : basic_symbol_iterator(Sym) {} in symbol_iterator()
211 : basic_symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in symbol_iterator()
[all …]
H A DIRSymtab.h256 class SymbolRef;
267 using symbol_range = iterator_range<object::content_iterator<SymbolRef>>;
313 class Reader::SymbolRef : public Symbol {
338 SymbolRef(const storage::Symbol *SymI, const storage::Symbol *SymE, in SymbolRef() function
351 bool operator==(const SymbolRef &Other) const { return SymI == Other.SymI; }
355 return {SymbolRef(Symbols.begin(), Symbols.end(), Uncommons.begin(), this), in symbols()
356 SymbolRef(Symbols.end(), Symbols.end(), nullptr, this)}; in symbols()
363 return {SymbolRef(MBegin, MEnd, Uncommons.begin() + M.UncBegin, this), in module_symbols()
364 SymbolRef(MEnd, MEnd, nullptr, this)}; in module_symbols()
H A DELFObjectFile.h152 class ELFSymbolRef : public SymbolRef {
154 ELFSymbolRef(const SymbolRef &B) : SymbolRef(B) { in ELFSymbolRef()
155 assert(isa<ELFObjectFileBase>(SymbolRef::getObject())); in ELFSymbolRef()
192 : symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in elf_symbol_iterator()
285 Expected<SymbolRef::Type> getSymbolType(DataRefImpl Symb) const override;
672 Expected<SymbolRef::Type>
680 return SymbolRef::ST_Unknown; in getSymbolType()
682 return SymbolRef::ST_Debug; in getSymbolType()
684 return SymbolRef::ST_File; in getSymbolType()
686 return SymbolRef::ST_Function; in getSymbolType()
[all …]
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h404 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>;
418 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
421 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym,
426 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym,
431 virtual ProgramStateRef assumeSymRel(ProgramStateRef State, SymbolRef Sym,
442 virtual ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
446 virtual ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
450 virtual ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
454 virtual ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
458 virtual ProgramStateRef assumeSymLE(ProgramStateRef State, SymbolRef Sym,
[all …]
H A DSymbolManager.h135 SymbolRef parentSymbol;
139 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
147 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
158 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent, in Profile()
484 llvm::DenseMap<SymbolRef, std::unique_ptr<SymbolRefSmallVectorTy>>;
520 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
563 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
565 const SymbolRefSmallVectorTy *getDependentSymbols(const SymbolRef Primary);
578 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
579 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
[all …]
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp24 SymbolRef Sym, in assumeSym()
65 SymbolRef Subtraction = in assumeSym()
79 SymbolRef CanonicalEquality = in assumeSym()
102 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange()
112 SymbolRef AdjustedSym = Sym; in assumeSymInclusiveRange()
134 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
153 SymbolRef Sym, in assumeSymRel()
217 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym, in computeAdjustment()
235 SVal simplifyToSVal(ProgramStateRef State, SymbolRef Sym) { in simplifyToSVal()
240 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym) { in simplify()
[all …]
H A DRangeConstraintManager.cpp876 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef)
882 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMap, SymbolRef, EquivalenceClass)
918 SymbolRef Sym);
923 SymbolRef First,
924 SymbolRef Second);
950 markDisequal(RangeSet::Factory &F, ProgramStateRef State, SymbolRef First,
951 SymbolRef Second);
959 SymbolRef Sym);
968 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
972 const SymbolRef Old);
[all …]
/openbsd-src/gnu/llvm/llvm/tools/llvm-objdump/
H A DXCOFFDump.h21 const object::SymbolRef &Sym);
23 std::optional<object::SymbolRef>
25 const object::SymbolRef &Sym);
27 bool isLabel(const object::XCOFFObjectFile &Obj, const object::SymbolRef &Sym);
H A DXCOFFDump.cpp48 const SymbolRef &Sym) { in getXCOFFSymbolCsectSMC()
61 std::optional<object::SymbolRef>
63 const SymbolRef &Sym) { in getXCOFFSymbolContainingSymbolRef()
75 return SymbolRef(DRI, &Obj); in getXCOFFSymbolContainingSymbolRef()
78 bool objdump::isLabel(const XCOFFObjectFile &Obj, const SymbolRef &Sym) { in isLabel()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp23 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
29 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) { in getRefBinding()
37 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding()
43 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
136 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
212 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
236 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
250 if (SymbolRef sym = in processObjCLiterals()
277 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
293 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
[all …]
H A DRetainCountDiagnostics.h51 SymbolRef Sym;
56 ExplodedNode *n, SymbolRef sym,
60 ExplodedNode *n, SymbolRef sym,
88 SymbolRef sym, CheckerContext &Ctx);
/openbsd-src/gnu/llvm/llvm/tools/llvm-readobj/
H A DObjDumper.h47 std::function<bool(object::SymbolRef, object::SymbolRef)>;
53 bool operator()(object::SymbolRef LHS, object::SymbolRef RHS) { in operator()
109 virtual bool compareSymbolsByName(object::SymbolRef LHS, in compareSymbolsByName()
110 object::SymbolRef RHS) const { in compareSymbolsByName()
113 virtual bool compareSymbolsByType(object::SymbolRef LHS, in compareSymbolsByType()
114 object::SymbolRef RHS) const { in compareSymbolsByType()

12345678