Home
last modified time | relevance | path

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

1234567

/netbsd-src/external/apache2/llvm/dist/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()
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()
[all …]
H A DFuchsiaHandleChecker.cpp116 SymbolRef ErrorSym;
117 HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {} in HandleState()
129 static HandleState getMaybeAllocated(SymbolRef ErrorSym) { in getMaybeAllocated()
149 SymbolRef getErrorSym() const { return ErrorSym; } in getErrorSym()
209 ExplodedNode *reportLeaks(ArrayRef<SymbolRef> LeakedHandles,
212 void reportDoubleRelease(SymbolRef HandleSym, const SourceRange &Range,
215 void reportUnownedRelease(SymbolRef HandleSym, const SourceRange &Range,
218 void reportUseAfterFree(SymbolRef HandleSym, const SourceRange &Range,
221 void reportBug(SymbolRef Sym, ExplodedNode *ErrorNode, CheckerContext &C,
230 REGISTER_MAP_WITH_PROGRAMSTATE(HStateMap, SymbolRef, HandleState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
[all …]
H A DSimpleStreamChecker.cpp28 typedef SmallVector<SymbolRef, 2> SymbolVector;
59 void reportDoubleClose(SymbolRef FileDescSym,
63 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
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()
[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.cpp133 bool diagnoseExtraRelease(SymbolRef ReleasedValue, const ObjCMethodCall &M,
136 bool diagnoseMistakenDealloc(SymbolRef DeallocedValue,
140 SymbolRef getValueReleasedByNillingOut(const ObjCMethodCall &M,
143 const ObjCIvarRegion *getIvarRegionForIvarSymbol(SymbolRef IvarSym) const;
144 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
147 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
166 void transitionToReleaseValue(CheckerContext &C, SymbolRef Value) const;
168 SymbolRef InstanceSym,
169 SymbolRef ValueSym) const;
183 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE() argument
[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 DContainerModeling.cpp117 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
118 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
133 const MemRegion *Cont, SymbolRef Offset,
136 SymbolRef Offset,
139 SymbolRef Offset1,
141 SymbolRef Offset2,
149 SymbolRef Offset,
152 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
153 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
154 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
[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 DMacOSKeychainAPIChecker.cpp42 SymbolRef Region;
44 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) : in AllocationState()
72 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
113 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
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()
215 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()
270 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
[all …]
H A DMallocChecker.cpp205 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
208 static bool isReleased(SymbolRef Sym, CheckerContext &C);
225 REGISTER_SET_WITH_PROGRAMSTATE(ReallocSizeZeroSymbols, SymbolRef)
254 SymbolRef ReallocatedSym;
257 ReallocPair(SymbolRef S, OwnershipAfterReallocKind K) in ReallocPair()
271 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
636 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
640 void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
644 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
658 SymbolRef &EscapingSymbol) const;
[all …]
H A DStreamChecker.cpp344 ExplodedNode *reportLeaks(const SmallVector<SymbolRef, 2> &LeakedSyms,
367 SymbolRef StreamSym;
379 const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym, in constructNoteTag()
387 SymbolRef StreamSym,
393 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
401 SymbolRef StreamSym, in getAcquisitionSite()
450 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
496 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
530 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
562 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
[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);
/netbsd-src/external/apache2/llvm/dist/llvm/include/llvm/Object/
H A DObjectFile.h43 class SymbolRef; variable
81 friend class SymbolRef; variable
128 bool containsSymbol(SymbolRef S) const;
164 class SymbolRef : public BasicSymbolRef {
177 SymbolRef() = default;
178 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
179 SymbolRef(const BasicSymbolRef &B) : BasicSymbolRef(B) { in SymbolRef() function
195 Expected<SymbolRef::Type> getType() const;
206 symbol_iterator(SymbolRef Sym) : basic_symbol_iterator(Sym) {} in symbol_iterator()
208 : basic_symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in symbol_iterator()
[all …]
H A DIRSymtab.h252 class SymbolRef;
263 using symbol_range = iterator_range<object::content_iterator<SymbolRef>>;
307 class Reader::SymbolRef : public Symbol {
332 SymbolRef(const storage::Symbol *SymI, const storage::Symbol *SymE, in SymbolRef() function
345 bool operator==(const SymbolRef &Other) const { return SymI == Other.SymI; }
349 return {SymbolRef(Symbols.begin(), Symbols.end(), Uncommons.begin(), this), in symbols()
350 SymbolRef(Symbols.end(), Symbols.end(), nullptr, this)}; in symbols()
357 return {SymbolRef(MBegin, MEnd, Uncommons.begin() + M.UncBegin, this), in module_symbols()
358 SymbolRef(MEnd, MEnd, nullptr, this)}; in module_symbols()
H A DELFObjectFile.h139 class ELFSymbolRef : public SymbolRef {
141 ELFSymbolRef(const SymbolRef &B) : SymbolRef(B) { in ELFSymbolRef()
142 assert(isa<ELFObjectFileBase>(SymbolRef::getObject())); in ELFSymbolRef()
179 : symbol_iterator(SymbolRef(B->getRawDataRefImpl(), in elf_symbol_iterator()
272 Expected<SymbolRef::Type> getSymbolType(DataRefImpl Symb) const override;
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()
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp505 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef)
511 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMap, SymbolRef, EquivalenceClass)
547 SymbolRef Sym);
552 SymbolRef First, SymbolRef Second);
569 ProgramStateRef State, SymbolRef First, SymbolRef Second);
578 getDisequalClasses(ProgramStateRef State, SymbolRef Sym);
585 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
616 /* implicit */ EquivalenceClass(SymbolRef Sym) in EquivalenceClass()
624 SymbolRef getRepresentativeSymbol() const { in getRepresentativeSymbol()
625 return reinterpret_cast<SymbolRef>(ID); in getRepresentativeSymbol()
[all …]
H A DRangedConstraintManager.cpp24 SymbolRef Sym, in assumeSym()
58 SymbolRef Subtraction = in assumeSym()
72 SymbolRef CanonicalEquality = in assumeSym()
94 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange()
101 SymbolRef AdjustedSym = Sym; in assumeSymInclusiveRange()
123 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
140 SymbolRef Sym, in assumeSymRel()
204 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym, in computeAdjustment()
H A DSimpleSValBuilder.cpp181 static bool isInRelation(BinaryOperator::Opcode Rel, SymbolRef Sym, in isInRelation()
198 static bool isWithinConstantOverflowBounds(SymbolRef Sym, in isWithinConstantOverflowBounds()
223 static std::pair<SymbolRef, llvm::APSInt>
224 decomposeSymbol(SymbolRef Sym, BasicValueFactory &BV) { in decomposeSymbol()
241 SymbolRef LSym, llvm::APSInt LInt, in doRearrangeUnchecked()
242 SymbolRef RSym, llvm::APSInt RInt) { in doRearrangeUnchecked()
269 SymbolRef ResultSym = nullptr; in doRearrangeUnchecked()
307 SymbolRef Sym, llvm::APSInt Int, QualType Ty) { in shouldRearrange()
332 SymbolRef LSym = Lhs.getAsSymbol(); in tryRearrange()
356 SymbolRef RSym = Rhs.getAsSymbol(); in tryRearrange()
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h310 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>;
324 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
327 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym,
332 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym,
337 virtual ProgramStateRef assumeSymRel(ProgramStateRef State, SymbolRef Sym,
348 virtual ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
352 virtual ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
356 virtual ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
360 virtual ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
364 virtual ProgramStateRef assumeSymLE(ProgramStateRef State, SymbolRef Sym,
[all …]
H A DSymbolManager.h132 SymbolRef parentSymbol;
136 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
143 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
153 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent, in Profile()
420 llvm::DenseMap<SymbolRef, std::unique_ptr<SymbolRefSmallVectorTy>>;
456 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
496 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
498 const SymbolRefSmallVectorTy *getDependentSymbols(const SymbolRef Primary);
511 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
512 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
[all …]
H A DSMTConstraintManager.h23 std::pair<clang::ento::SymbolRef, const llvm::SMTExpr *>>
43 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
63 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
72 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
82 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
111 SymbolRef Sym) const override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
157 SymbolRef CastSym = SC->getOperand(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
297 virtual ProgramStateRef assumeExpr(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
327 ConditionTruthVal checkModel(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/netbsd-src/external/apache2/llvm/dist/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()
211 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt()
235 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
249 if (SymbolRef sym = in processObjCLiterals()
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
[all …]
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);
H A DRetainCountDiagnostics.h51 SymbolRef Sym;
56 ExplodedNode *n, SymbolRef sym,
60 ExplodedNode *n, SymbolRef sym,
88 SymbolRef sym, CheckerContext &Ctx);

1234567