Searched refs:SymbolRef (Results 1 - 25 of 87) sorted by path

1234

/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h86 typedef llvm::DenseSet<SymbolRef> Symbols;
197 void markInteresting(SymbolRef sym);
202 bool isInteresting(SymbolRef sym);
H A DPathDiagnostic.h47 typedef const SymExpr* SymbolRef; typedef in namespace:clang::ento
476 SymbolRef Sym;
480 StackHintGeneratorForSymbol(SymbolRef S, StringRef M) : Sym(S), Msg(M) {}
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h108 SymbolRef sym) const {
124 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {
148 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
H A DMemRegion.h713 const SymbolRef sym;
716 SymbolicRegion(const SymbolRef s, const MemRegion* sreg)
719 SymbolRef getSymbol() const {
730 SymbolRef sym,
1196 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1199 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);
1323 llvm::DenseMap<SymbolRef, StorageTypeForKinds> SymTraitsMap;
1327 typedef llvm::DenseMap<SymbolRef, StorageTypeForKinds>::const_iterator
1342 void setTrait(SymbolRef Sym, InvalidationKinds IK);
1344 bool hasTrait(SymbolRef Sy
[all...]
H A DProgramState.h325 ProgramStateRef addTaint(SymbolRef S,
336 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
H A DSValBuilder.h194 SymbolRef parentSymbol, const TypedValueRegion *region);
300 Loc makeLoc(SymbolRef sym) {
H A DSVals.h148 /// SymbolRef. Otherwise return 0.
153 SymbolRef getAsLocSymbol(bool IncludeBaseRegions = false) const;
156 SymbolRef getLocSymbolInBase() const;
158 /// \brief If this SVal wraps a symbol return that SymbolRef.
164 SymbolRef getAsSymbol(bool IncludeBaseRegions = false) const;
315 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {}
317 SymbolRef getSymbol() const {
H A DStore.h38 typedef llvm::DenseSet<SymbolRef> InvalidatedSymbols;
218 SymbolRef Sym;
223 FindUniqueBinding(SymbolRef sym)
H A DSymbolManager.h98 typedef const SymExpr* SymbolRef; typedef in namespace:clang::ento
99 typedef SmallVector<SymbolRef, 2> SymbolRefSmallVectorTy;
201 SymbolRef parentSymbol;
205 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
208 SymbolRef getParentSymbol() const { return parentSymbol; }
215 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent,
473 typedef llvm::DenseMap<SymbolRef, SymbolRefSmallVectorTy*> SymbolDependTy;
510 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
548 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependen
[all...]
H A DTaintManager.h32 typedef llvm::ImmutableMap<SymbolRef, TaintTagType> TaintMapImpl;
/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp834 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerCountMap, SymbolRef, SymbolRef)
835 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerNonEmptyMap, SymbolRef, bool)
945 SymbolRef CollectionS, bool Assumption) {
949 const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS);
981 SymbolRef CollectionS =
1064 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol();
1074 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol();
1091 static SymbolRef getMethodReceiverIfKnownImmutable(const CallEvent *Call) {
1134 SymbolRef ImmutableReceive
[all...]
H A DCStringChecker.cpp2061 if (SymbolRef Sym = Len.getAsSymbol()) {
H A DGenericTaintChecker.cpp70 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg);
353 SymbolRef Sym = getPointedToSymbol(C, Arg);
426 SymbolRef GenericTaintChecker::getPointedToSymbol(CheckerContext &C,
561 SymbolRef Sym = getPointedToSymbol(C, Arg);
H A DMacOSKeychainAPIChecker.cpp40 SymbolRef Region;
42 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) :
62 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
103 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
111 bool definitelyReturnedError(SymbolRef RetSym,
117 bool definitelyDidnotReturnError(SymbolRef RetSym,
136 SymbolRef Sym;
139 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {}
160 SymbolRef,
216 static SymbolRef getAsPointeeSymbo
[all...]
H A DMallocChecker.cpp129 SymbolRef ReallocatedSym;
132 ReallocPair(SymbolRef S, ReallocPairKind K) :
291 bool isReleased(SymbolRef Sym, CheckerContext &C) const;
293 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
295 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
309 SymbolRef &EscapingSymbol) const;
325 Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym) const;
333 SymbolRef Sym, bool OwnershipTransferred) const;
338 SymbolRef Sym) const;
340 SymbolRef Sy
[all...]
H A DNSErrorChecker.cpp169 typedef llvm::ImmutableMap<SymbolRef, unsigned> ErrorOutFlag;
175 if (SymbolRef sym = val.getAsSymbol())
184 if (SymbolRef sym = val.getAsSymbol())
H A DObjCContainersChecker.cpp40 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const {
42 SymbolRef ArraySym = ArrayRef.getAsSymbol();
59 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal)
71 SymbolRef ArraySym = ArrayRef.getAsSymbol();
115 SymbolRef ArraySym = getArraySym(ArrayExpr, C);
H A DObjCSelfInitChecker.cpp98 REGISTER_MAP_WITH_PROGRAMSTATE(SelfFlag, SymbolRef, unsigned)
108 if (SymbolRef sym = val.getAsSymbol())
121 if (SymbolRef sym = val.getAsSymbol()) {
333 if (SymbolRef sym = loc.getAsSymbol())
H A DRetainCountChecker.cpp336 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
339 SymbolRef Sym) {
344 SymbolRef Sym, RefVal Val) {
348 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {
1458 if (SymbolRef Sym = ReceiverV.getAsLocSymbol())
1700 SymbolRef Sym;
1705 CFRefReportVisitor(SymbolRef sym, bool gcEnabled, const SummaryLogTy &log)
1726 CFRefLeakReportVisitor(SymbolRef sym, bool GCEnabled,
1749 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
1758 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sy
[all...]
H A DSimpleStreamChecker.cpp28 typedef SmallVector<SymbolRef, 2> SymbolVector;
62 void reportDoubleClose(SymbolRef FileDescSym,
93 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
102 bool VisitSymbol(SymbolRef sym) override {
132 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol();
156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
173 static bool isLeaked(SymbolRef Sym, const StreamState &SS,
192 SymbolRef Sym = I->first;
208 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym,
230 for (SmallVectorImpl<SymbolRef>
[all...]
H A DStreamChecker.cpp105 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
226 if (SymbolRef Sym = RetVal.getAsSymbol()) {
368 SymbolRef Sym =
404 SymbolRef Sym = *I;
H A DTaintTesterChecker.cpp30 SymbolRef getPointedToSymbol(CheckerContext &C,
H A DTestAfterDivZeroChecker.cpp29 SymbolRef ZeroSymbol;
34 ZeroState(SymbolRef S, unsigned B, const StackFrameContext *SFC)
60 SymbolRef ZeroSymbol;
65 DivisionBRVisitor(SymbolRef ZeroSymbol, const StackFrameContext *SFC)
149 SymbolRef SR = Var.getAsSymbol();
161 SymbolRef SR = Var.getAsSymbol();
/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp2612 void BugReport::markInteresting(SymbolRef sym) {
2652 bool BugReport::isInteresting(SymbolRef sym) {
H A DConstraintManager.cpp22 SymbolRef Sym) {
29 SymbolRef Sym) {

Completed in 1363 milliseconds

1234