Home
last modified time | relevance | path

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

12345678

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp53 SymbolRef Sym = V.getAsSymbol(); in addTaint()
99 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
205 if (SymbolRef Sym = V.getAsSymbol()) in getTaintedSymbolsImpl()
216 std::vector<SymbolRef> TaintedSymbols; in getTaintedSymbolsImpl()
222 std::vector<SymbolRef> TaintedIndex = in getTaintedSymbolsImpl()
231 std::vector<SymbolRef> TaintedRegions = in getTaintedSymbolsImpl()
241 std::vector<SymbolRef> TaintedSubRegions = in getTaintedSymbolsImpl()
255 std::vector<SymbolRef> TaintedSymbols; in getTaintedSymbolsImpl()
260 for (SymbolRef SubSym : Sym->symbols()) { in getTaintedSymbolsImpl()
302 std::vector<SymbolRef> TaintedRegions = in getTaintedSymbolsImpl()
[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()
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()
92 SymbolRef getEnd() const { return End; } in getEnd()
[all …]
H A DFuchsiaHandleChecker.cpp117 SymbolRef ErrorSym;
258 bool VisitSymbol(SymbolRef S) override { in VisitSymbol()
268 SmallVector<SymbolRef, 1024> Symbols;
274 static SmallVector<SymbolRef, 1024>
296 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
344 for (SymbolRef Handle : Handles) { in checkPreCall()
374 SymbolRef ResultSymbol = nullptr; in checkPostCall()
420 for (SymbolRef Handle : Handles) { in checkPostCall()
506 SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
575 llvm::DenseSet<SymbolRef> UnEscaped; in checkPointerEscape()
[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
102 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE()
121 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
138 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
173 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym, in reportDoubleClose()
190 void SimpleStreamChecker::reportLeaks(ArrayRef<SymbolRef> LeakedStreams, in reportLeaks()
195 for (SymbolRef LeakedStream : LeakedStreams) { in reportLeaks()
[all …]
H A DCheckObjCDealloc.cpp150 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
153 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
268 SymbolRef SelfSymbol = SelfVal.getAsSymbol(); in checkBeginFunction()
296 SymbolRef Symbol = InitialVal.getAsSymbol(); in checkBeginFunction()
322 SymbolRef
343 SymbolRef ReleasedValue = nullptr; in checkPreObjCMessage()
430 SymbolRef NullSymbol = nullptr; in evalAssume()
507 SymbolRef SelfSym = SelfVal.getAsSymbol(); in diagnoseMissingReleases()
615 SymbolRef IvarSym, CheckerContext &C) const { in findPropertyOnDeallocatingInstance()
845 ProgramStateRef State, SymbolRef Instance, SymbolRef Value) const { in removeValueRequiringRelease()
[all …]
H A DMacOSKeychainAPIChecker.cpp45 SymbolRef Region;
131 SymbolRef Sym;
134 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
153 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
204 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
265 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
306 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
415 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { in checkPostStmt()
512 SymbolRef ReturnSymbol = nullptr; in evalAssume()
582 SymbolRef Sym = I.first; in checkPointerEscape()
[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.cpp288 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
289 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
290 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
347 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isLess()
351 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isGreater()
355 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isEqual()
H A DContainerModeling.cpp122 SymbolRef Offset,
125 SymbolRef Offset1,
127 SymbolRef Offset2,
138 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
139 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
140 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
141 SymbolRef OldSym, SymbolRef NewSym);
947 SymbolRef Offset, in invalidateIteratorPositions()
1005 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) { in rebaseSymbolInIteratorPositionsIf()
1020 SymbolRef OrigExpr, SymbolRef OldExpr, in rebaseSymbol()
[all …]
H A DMallocChecker.cpp265 SymbolRef ReallocatedSym;
704 SymbolRef Sym, SymbolRef PrevSym) const;
735 SymbolRef Sym;
742 SymbolRef Sym;
932 SymbolRef Sym;
938 SymbolRef FailedReallocSymbol;
1050 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
1822 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail()
2805 SmallVector<SymbolRef, 2> Errors; in checkDeadSymbols()
3315 for (SymbolRef sym : Escaped) { in checkPointerEscapeAux()
[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-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DTaint.h39 [[nodiscard]] ProgramStateRef addTaint(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,
111 std::vector<SymbolRef> getTaintedSymbolsImpl(ProgramStateRef State,
[all …]
/freebsd-14.2/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;
199 Expected<SymbolRef::Type> getType() const;
215 const SymbolRef *operator->() const {
220 const SymbolRef &operator*() const {
247 friend class SymbolRef; variable
456 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()
/freebsd-14.2/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,
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,
467 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
471 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
478 static void computeAdjustment(SymbolRef &Sym, llvm::APSInt &Adjustment);
489 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym);
[all …]
H A DConstraintManager.h109 SymbolRef sym) const { in getSymVal()
117 SymbolRef sym) const { in getSymMinVal()
125 SymbolRef sym) const { in getSymMaxVal()
139 SymbolRef Sym) {} in printValue()
143 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) { in isNull()
180 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
H A DSymbolManager.h136 SymbolRef parentSymbol;
148 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
564 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
579 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
580 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
614 bool isLive(SymbolRef sym);
624 void markLive(SymbolRef sym);
633 void markInUse(SymbolRef sym);
643 bool isDead(SymbolRef sym) { in isDead()
663 void markDependentsLive(SymbolRef sym);
[all …]
/freebsd-14.2/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.cpp951 SymbolRef Second);
968 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
1023 return reinterpret_cast<SymbolRef>(ID); in getRepresentativeSymbol()
1218 RangeSet VisitSymExpr(SymbolRef Sym) { in VisitSymExpr()
1288 RangeSet infer(SymbolRef Sym) { in infer()
1449 if (SymbolRef NegatedSym = F()) in getRangeForNegatedExpr()
1460 [USE]() -> SymbolRef { in getRangeForNegatedUnarySym()
1891 SymbolRef Sym) override;
2413 for (SymbolRef Sym : OtherMembers) { in mergeImpl()
2966 SymbolRef Sym = SymbolClassPair.first; in removeDeadBindings()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp136 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
234 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
248 if (SymbolRef sym = in processObjCLiterals()
456 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()
612 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 …]
/freebsd-14.2/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-14.2/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);
/freebsd-14.2/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 DGOFFObjectFile.cpp259 Flags |= SymbolRef::SF_Undefined; in getSymbolFlags()
266 Flags |= SymbolRef::SF_Weak; in getSymbolFlags()
274 Flags |= SymbolRef::SF_Global; in getSymbolFlags()
276 Flags |= SymbolRef::SF_Exported; in getSymbolFlags()
277 else if (!(Flags & SymbolRef::SF_Undefined)) in getSymbolFlags()
278 Flags |= SymbolRef::SF_Hidden; in getSymbolFlags()
285 Expected<SymbolRef::Type>
308 return SymbolRef::ST_Other; in getSymbolType()
323 return SymbolRef::ST_Function; in getSymbolType()
325 return SymbolRef::ST_Data; in getSymbolType()
[all …]

12345678