Home
last modified time | relevance | path

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

1234567

/freebsd-13.1/contrib/llvm-project/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()
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()
94 SymbolRef getEnd() const { return End; } in getEnd()
[all …]
H A DFuchsiaHandleChecker.cpp116 SymbolRef ErrorSym;
260 bool VisitSymbol(SymbolRef S) override { in VisitSymbol()
270 SmallVector<SymbolRef, 1024> Symbols;
277 static SmallVector<SymbolRef, 1024>
299 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
347 for (SymbolRef Handle : Handles) { in checkPreCall()
377 SymbolRef ResultSymbol = nullptr; in checkPostCall()
423 for (SymbolRef Handle : Handles) { in checkPostCall()
509 SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
578 llvm::DenseSet<SymbolRef> UnEscaped; in checkPointerEscape()
[all …]
H A DSimpleStreamChecker.cpp28 typedef SmallVector<SymbolRef, 2> SymbolVector;
59 void reportDoubleClose(SymbolRef FileDescSym,
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()
221 for (SymbolRef LeakedStream : LeakedStreams) { in reportLeaks()
[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 DCheckObjCDealloc.cpp144 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
147 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
262 SymbolRef SelfSymbol = SelfVal.getAsSymbol(); in checkBeginFunction()
290 SymbolRef Symbol = InitialVal.getAsSymbol(); in checkBeginFunction()
316 SymbolRef
335 SymbolRef ReleasedValue = nullptr; in checkPreObjCMessage()
422 SymbolRef NullSymbol = nullptr; in evalAssume()
499 SymbolRef SelfSym = SelfVal.getAsSymbol(); in diagnoseMissingReleases()
607 SymbolRef IvarSym, CheckerContext &C) const { in findPropertyOnDeallocatingInstance()
854 ProgramStateRef State, SymbolRef Instance, SymbolRef Value) const { in removeValueRequiringRelease()
[all …]
H A DTaint.cpp22 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()
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 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.cpp136 SymbolRef Offset,
139 SymbolRef Offset1,
141 SymbolRef Offset2,
152 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
153 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
154 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
155 SymbolRef OldSym, SymbolRef NewSym);
961 SymbolRef Offset, in invalidateIteratorPositions()
1019 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) { in rebaseSymbolInIteratorPositionsIf()
1034 SymbolRef OrigExpr, SymbolRef OldExpr, in rebaseSymbol()
[all …]
H A DMacOSKeychainAPIChecker.cpp42 SymbolRef Region;
134 SymbolRef Sym;
137 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
156 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
208 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
270 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
313 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
423 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { in checkPostStmt()
521 SymbolRef ReturnSymbol = nullptr; in evalAssume()
591 SymbolRef Sym = I.first; in checkPointerEscape()
[all …]
H A DStreamChecker.cpp384 SymbolRef StreamSym;
486 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
533 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
567 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
600 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
891 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
941 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureNoFilePositionIndeterminate()
1024 for (SymbolRef LeakSym : LeakedSyms) { in reportLeaks()
1060 llvm::SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
1064 SymbolRef Sym = I.first; in checkDeadSymbols()
[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.cpp254 SymbolRef ReallocatedSym;
703 SymbolRef Sym, SymbolRef PrevSym) const;
738 SymbolRef Sym;
744 SymbolRef FailedReallocSymbol;
859 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
1613 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail()
2593 SmallVector<SymbolRef, 2> Errors; in checkDeadSymbols()
2730 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
3095 SymbolRef EscapingSymbol = nullptr; in checkPointerEscapeAux()
3106 SymbolRef sym = *I; in checkPointerEscapeAux()
[all …]
H A DTaint.h39 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,
/freebsd-13.1/contrib/llvm-project/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;
198 Expected<SymbolRef::Type> getType() const;
214 const SymbolRef *operator->() const {
219 const SymbolRef &operator*() const {
246 friend class SymbolRef; variable
386 inline SymbolRef::SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner) in SymbolRef() function
[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.h141 ELFSymbolRef(const SymbolRef &B) : SymbolRef(B) { in ELFSymbolRef()
656 Expected<SymbolRef::Type>
664 return SymbolRef::ST_Unknown; in getSymbolType()
666 return SymbolRef::ST_Debug; in getSymbolType()
668 return SymbolRef::ST_File; in getSymbolType()
670 return SymbolRef::ST_Function; in getSymbolType()
673 return SymbolRef::ST_Data; in getSymbolType()
676 return SymbolRef::ST_Other; in getSymbolType()
690 Result |= SymbolRef::SF_Global; in getSymbolFlags()
693 Result |= SymbolRef::SF_Weak; in getSymbolFlags()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h313 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>;
327 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
351 virtual ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
355 virtual ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
359 virtual ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
363 virtual ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
367 virtual ProgramStateRef assumeSymLE(ProgramStateRef State, SymbolRef Sym,
376 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
380 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
387 static void computeAdjustment(SymbolRef &Sym, llvm::APSInt &Adjustment);
[all …]
H A DSymbolManager.h132 SymbolRef parentSymbol;
143 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
496 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
511 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
512 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
540 bool isLive(SymbolRef sym);
550 void markLive(SymbolRef sym);
559 void markInUse(SymbolRef sym);
570 bool isDead(SymbolRef sym) { in isDead()
583 void markDependentsLive(SymbolRef sym);
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp582 SymbolRef Second);
600 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
642 /* implicit */ EquivalenceClass(SymbolRef Sym) in EquivalenceClass()
650 SymbolRef getRepresentativeSymbol() const { in getRepresentativeSymbol()
651 return reinterpret_cast<SymbolRef>(ID); in getRepresentativeSymbol()
842 RangeSet VisitSymExpr(SymbolRef Sym) { in VisitSymExpr()
893 RangeSet infer(SymbolRef Sym) { in infer()
1089 SymbolRef NegatedSym = in getRangeForNegatedSub()
1905 for (SymbolRef Sym : OtherMembers) { in mergeImpl()
2329 SymbolRef Sym = SymbolClassPair.first; in removeDeadBindings()
[all …]
H A DRangedConstraintManager.cpp24 SymbolRef Sym, in assumeSym()
60 SymbolRef Subtraction = in assumeSym()
74 SymbolRef CanonicalEquality = in assumeSym()
96 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange()
106 SymbolRef AdjustedSym = Sym; in assumeSymInclusiveRange()
128 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
147 SymbolRef Sym, in assumeSymRel()
211 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym, in computeAdjustment()
229 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym) { in simplify()
232 if (SymbolRef SimplifiedSym = SimplifiedVal.getAsSymbol()) in simplify()
H A DSimpleSValBuilder.cpp223 static std::pair<SymbolRef, llvm::APSInt>
269 SymbolRef ResultSym = nullptr; in doRearrangeUnchecked()
332 SymbolRef LSym = Lhs.getAsSymbol(); in tryRearrange()
356 SymbolRef RSym = Rhs.getAsSymbol(); in tryRearrange()
760 if (SymbolRef rSym = rhs.getAsLocSymbol()) { in evalBinOpLL()
968 SymbolRef LHSSym = lhs.getAsLocSymbol(); in evalBinOpLL()
969 SymbolRef RHSSym = rhs.getAsLocSymbol(); in evalBinOpLL()
1107 if (SymbolRef Sym = V.getAsSymbol()) in getKnownValue()
1127 llvm::DenseMap<SymbolRef, SVal> Cached; in simplifySVal()
1133 SVal cache(SymbolRef Sym, SVal V) { in simplifySVal()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp135 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
235 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
249 if (SymbolRef sym = in processObjCLiterals()
457 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()
613 SymbolRef ErrorSym = nullptr; in checkSummary()
1197 for (SymbolRef sym : *invalidated) { in checkRegionChanges()
1322 for (SymbolRef L : Leaked) { in processLeaks()
1401 SmallVector<SymbolRef, 10> Leaked; in checkEndFunction()
1414 SmallVector<SymbolRef, 10> Leaked; in checkDeadSymbols()
1418 SymbolRef Sym = I.first; in checkDeadSymbols()
[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.h328 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);

1234567