Home
last modified time | relevance | path

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

1234567

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp24 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
29 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions) in REGISTER_MAP_WITH_PROGRAMSTATE()
54 SymbolRef Sym = V.getAsSymbol(); in addTaint()
71 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint()
87 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint()
100 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
114 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) { in removeTaint()
126 SymbolRef ParentSym, in addPartialTaint()
165 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) { in isTainted()
170 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State, in getTaintedSymbols()
[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()
72 for (SymbolRef Antecedent : CondS->symbols()) { in evalAssume()
115 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
116 SymbolRef RetS = Msg.getReturnValue().getAsSymbol(); in checkPostObjCMessage()
148 for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>()) in dropDeadFromGDM()
212 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication()
218 const SymbolRef *Consequent = in addImplication()
H A DCheckObjCDealloc.cpp139 bool diagnoseExtraRelease(SymbolRef ReleasedValue, const ObjCMethodCall &M,
142 bool diagnoseMistakenDealloc(SymbolRef DeallocedValue,
146 SymbolRef getValueReleasedByNillingOut(const ObjCMethodCall &M,
149 const ObjCIvarRegion *getIvarRegionForIvarSymbol(SymbolRef IvarSym) const;
150 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
153 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
172 void transitionToReleaseValue(CheckerContext &C, SymbolRef Value) const;
174 SymbolRef InstanceSym,
175 SymbolRef ValueSym) const;
189 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE() argument
[all …]
H A DSimpleStreamChecker.cpp29 typedef SmallVector<SymbolRef, 2> SymbolVector;
63 void reportDoubleClose(SymbolRef FileDescSym,
67 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
91 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
99 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE()
115 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
132 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
167 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym, in reportDoubleClose()
184 void SimpleStreamChecker::reportLeaks(ArrayRef<SymbolRef> LeakedStreams, in reportLeaks()
189 for (SymbolRef LeakedStream : LeakedStreams) { in reportLeaks()
[all …]
H A DObjCSuperDeallocChecker.cpp54 void reportUseAfterDealloc(SymbolRef Sym, StringRef Desc, const Stmt *S,
62 REGISTER_SET_WITH_PROGRAMSTATE(CalledSuperDealloc, SymbolRef)
66 SymbolRef ReceiverSymbol;
70 SuperDeallocBRVisitor(SymbolRef ReceiverSymbol) in SuperDeallocBRVisitor()
87 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
121 SymbolRef SelfSymbol = State->getSelfSVal(LC).getAsSymbol(); in checkPostObjCMessage()
133 SymbolRef BaseSym = L.getLocSymbolInBase(); in checkLocation()
176 void ObjCSuperDeallocChecker::reportUseAfterDealloc(SymbolRef Sym, in reportUseAfterDealloc()
206 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
H A DIteratorRangeChecker.cpp293 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
294 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
295 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
352 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isLess()
356 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isGreater()
360 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isEqual()
H A DContainerModeling.cpp108 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
109 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
124 const MemRegion *Cont, SymbolRef Offset,
127 SymbolRef Offset,
130 SymbolRef Offset1,
132 SymbolRef Offset2,
140 SymbolRef Offset,
143 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
144 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
145 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
[all …]
H A DSetgidSetuidOrderChecker.cpp76 REGISTER_TRAIT_WITH_PROGRAMSTATE(LastSetuidCallSVal, SymbolRef) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
94 SymbolRef LastSetuidSym = State->get<LastSetuidCallSVal>(); in evalAssume()
115 State = State->set<LastSetuidCallSVal>(SymbolRef{}); in evalAssume()
125 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in processSetuid()
138 State = State->set<LastSetuidCallSVal>(SymbolRef{}); in processSetuid()
157 State = State->set<LastSetuidCallSVal>(SymbolRef{}); in processSetgid()
164 State = State->set<LastSetuidCallSVal>(SymbolRef{}); in processOther()
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)
468 llvm::ArrayRef<SymbolRef> TaintedSyms,
672 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
676 void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
680 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
[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);
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DTaint.h39 [[nodiscard]] ProgramStateRef addTaint(ProgramStateRef State, SymbolRef Sym,
53 [[nodiscard]] ProgramStateRef removeTaint(ProgramStateRef State, SymbolRef Sym);
60 addPartialTaint(ProgramStateRef State, SymbolRef ParentSym,
74 bool isTainted(ProgramStateRef State, SymbolRef Sym,
83 std::vector<SymbolRef> getTaintedSymbols(ProgramStateRef State, const Stmt *S,
88 std::vector<SymbolRef> getTaintedSymbols(ProgramStateRef State, SVal V,
92 std::vector<SymbolRef> getTaintedSymbols(ProgramStateRef State, SymbolRef Sym,
97 std::vector<SymbolRef> getTaintedSymbols(ProgramStateRef State,
101 std::vector<SymbolRef> getTaintedSymbolsImpl(ProgramStateRef State,
107 std::vector<SymbolRef> getTaintedSymbolsImpl(ProgramStateRef State, SVal V,
[all …]
/freebsd/contrib/llvm-project/llvm/include/llvm/Object/
H A DObjectFile.h43 class SymbolRef; variable
82 friend class SymbolRef; variable
129 bool containsSymbol(SymbolRef S) const;
168 class SymbolRef : public BasicSymbolRef {
181 SymbolRef() = default;
182 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
183 SymbolRef(const BasicSymbolRef &B) : BasicSymbolRef(B) { in SymbolRef() function
199 Expected<SymbolRef::Type> getType() const;
210 symbol_iterator(SymbolRef Sym) : basic_symbol_iterator(Sym) {} in symbol_iterator()
212 : basic_symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in symbol_iterator()
[all …]
H A DGOFFObjectFile.h47 Expected<StringRef> getSymbolName(SymbolRef Symbol) const;
83 Expected<SymbolRef::Type> getSymbolType(DataRefImpl Symb) const override;
123 return basic_symbol_iterator(SymbolRef(Temp, this)); in getRelocationSymbol()
130 class GOFFSymbolRef : public SymbolRef {
132 GOFFSymbolRef(const SymbolRef &B) : SymbolRef(B) { in GOFFSymbolRef()
133 assert(isa<GOFFObjectFile>(SymbolRef::getObject())); in GOFFSymbolRef()
144 Expected<SymbolRef::Type> getSymbolGOFFType() const { in getSymbolGOFFType()
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.h168 class ELFSymbolRef : public SymbolRef {
170 ELFSymbolRef(const SymbolRef &B) : SymbolRef(B) { in ELFSymbolRef()
171 assert(isa<ELFObjectFileBase>(SymbolRef::getObject())); in ELFSymbolRef()
216 : symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in elf_symbol_iterator()
314 Expected<SymbolRef::Type> getSymbolType(DataRefImpl Symb) const override;
725 Expected<SymbolRef::Type>
733 return SymbolRef::ST_Unknown; in getSymbolType()
735 return SymbolRef::ST_Debug; in getSymbolType()
737 return SymbolRef::ST_File; in getSymbolType()
739 return SymbolRef::ST_Function; in getSymbolType()
[all …]
/freebsd/contrib/llvm-project/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.h136 SymbolRef parentSymbol;
140 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
148 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
159 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent, in Profile()
485 llvm::DenseMap<SymbolRef, std::unique_ptr<SymbolRefSmallVectorTy>>;
521 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
564 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
566 const SymbolRefSmallVectorTy *getDependentSymbols(const SymbolRef Primary);
579 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
580 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
[all …]
/freebsd/contrib/llvm-project/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 …]
/freebsd/contrib/llvm-project/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()
210 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
234 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
248 if (SymbolRef sym = in processObjCLiterals()
275 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
291 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);
/freebsd/contrib/llvm-project/llvm/tools/llvm-readobj/
H A DObjDumper.h45 std::function<bool(object::SymbolRef, object::SymbolRef)>;
51 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()
/freebsd/contrib/llvm-project/llvm/lib/Object/
H A DTapiFile.cpp40 static SymbolRef::Type getType(const Symbol *Sym) { in getType()
41 SymbolRef::Type Type = SymbolRef::ST_Unknown; in getType()
43 Type = SymbolRef::ST_Data; in getType()
45 Type = SymbolRef::ST_Function; in getType()
97 Expected<SymbolRef::Type> TapiFile::getSymbolType(DataRefImpl DRI) const { in getSymbolType()
H A DSymbolSize.cpp39 static unsigned getSymbolSectionID(const ObjectFile &O, SymbolRef Sym) { in getSymbolSectionID()
49 std::vector<std::pair<SymbolRef, uint64_t>>
51 std::vector<std::pair<SymbolRef, uint64_t>> Ret; in computeSymbolSizes()
69 for (SymbolRef Sym : E->symbols()) { in computeSymbolSizes()
80 SymbolRef Sym = *I; in computeSymbolSizes()
/freebsd/contrib/llvm-project/llvm/tools/llvm-objdump/
H A DXCOFFDump.h23 const object::SymbolRef &Sym);
25 std::optional<object::SymbolRef>
27 const object::SymbolRef &Sym);
29 bool isLabel(const object::XCOFFObjectFile &Obj, const object::SymbolRef &Sym);

1234567