Home
last modified time | relevance | path

Searched refs:SymbolRef (Results 1 – 25 of 172) 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 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 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 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 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 DMacOSKeychainAPIChecker.cpp44 SymbolRef Region;
46 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) : in AllocationState()
74 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
109 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
130 SymbolRef Sym;
133 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
152 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
203 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
210 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()
264 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
[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.cpp107 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
108 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 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.h44 class SymbolRef; variable
83 friend class SymbolRef; variable
130 LLVM_ABI bool containsSymbol(SymbolRef S) const;
169 class SymbolRef : public BasicSymbolRef {
182 SymbolRef() = default;
183 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
184 SymbolRef(const BasicSymbolRef &B) : BasicSymbolRef(B) { in SymbolRef() function
200 Expected<SymbolRef::Type> getType() const;
211 symbol_iterator(SymbolRef Sym) : basic_symbol_iterator(Sym) {} in symbol_iterator()
213 : basic_symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in symbol_iterator()
[all …]
H A DGOFFObjectFile.h48 Expected<StringRef> getSymbolName(SymbolRef Symbol) const;
84 Expected<SymbolRef::Type> getSymbolType(DataRefImpl Symb) const override;
124 return basic_symbol_iterator(SymbolRef(Temp, this)); in getRelocationSymbol()
131 class GOFFSymbolRef : public SymbolRef {
133 GOFFSymbolRef(const SymbolRef &B) : SymbolRef(B) { in GOFFSymbolRef()
134 assert(isa<GOFFObjectFile>(SymbolRef::getObject())); in GOFFSymbolRef()
145 Expected<SymbolRef::Type> getSymbolGOFFType() const { in getSymbolGOFFType()
H A DIRSymtab.h259 class SymbolRef;
270 using symbol_range = iterator_range<object::content_iterator<SymbolRef>>;
316 class Reader::SymbolRef : public Symbol {
341 SymbolRef(const storage::Symbol *SymI, const storage::Symbol *SymE, in SymbolRef() function
354 bool operator==(const SymbolRef &Other) const { return SymI == Other.SymI; }
358 return {SymbolRef(Symbols.begin(), Symbols.end(), Uncommons.begin(), this), in symbols()
359 SymbolRef(Symbols.end(), Symbols.end(), nullptr, this)}; in symbols()
366 return {SymbolRef(MBegin, MEnd, Uncommons.begin() + M.UncBegin, this), in module_symbols()
367 SymbolRef(MEnd, MEnd, nullptr, this)}; in module_symbols()
/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.h139 SymbolRef parentSymbol;
143 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
152 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
163 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent, in Profile()
512 llvm::DenseMap<SymbolRef, std::unique_ptr<SymbolRefSmallVectorTy>>;
552 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
554 const SymbolRefSmallVectorTy *getDependentSymbols(const SymbolRef Primary);
567 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
568 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
602 bool isLive(SymbolRef sym);
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp24 SymbolRef Sym, in assumeSym()
65 SymbolRef Subtraction = SymMgr.acquire<SymSymExpr>( in assumeSym()
79 SymbolRef CanonicalEquality = SymMgr.acquire<SymSymExpr>( 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.cpp22 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) { in getRefBinding()
36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding()
42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding()
135 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
209 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
233 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
247 if (SymbolRef sym = in processObjCLiterals()
274 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
290 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);
H A DRetainCountChecker.h327 SymbolRef Sym, ProgramStateRef state) const;
333 ProgramStateRef updateSymbol(ProgramStateRef state, SymbolRef sym,
338 SymbolRef Sym) const;
341 RefVal::Kind ErrorKind, SymbolRef Sym,
347 SymbolRef sid, RefVal V,
348 SmallVectorImpl<SymbolRef> &Leaked) const;
352 CheckerContext &Ctx, SymbolRef Sym,
357 SmallVectorImpl<SymbolRef> &Leaked,
378 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym);
/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.cpp39 static SymbolRef::Type getType(const Symbol *Sym) { in getType()
40 SymbolRef::Type Type = SymbolRef::ST_Unknown; in getType()
42 Type = SymbolRef::ST_Data; in getType()
44 Type = SymbolRef::ST_Function; in getType()
96 Expected<SymbolRef::Type> TapiFile::getSymbolType(DataRefImpl DRI) const { in getSymbolType()
/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