/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 86 typedef llvm::DenseSet<SymbolRef> Symbols; 197 void markInteresting(SymbolRef sym); 202 bool isInteresting(SymbolRef sym);
|
H A D | PathDiagnostic.h | 47 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 D | ConstraintManager.h | 108 SymbolRef sym) const { 124 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) { 148 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
|
H A D | MemRegion.h | 713 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 D | ProgramState.h | 325 ProgramStateRef addTaint(SymbolRef S, 336 bool isTainted(SymbolRef Sym, TaintTagType Kind = TaintTagGeneric) const;
|
H A D | SValBuilder.h | 194 SymbolRef parentSymbol, const TypedValueRegion *region); 300 Loc makeLoc(SymbolRef sym) {
|
H A D | SVals.h | 148 /// 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 D | Store.h | 38 typedef llvm::DenseSet<SymbolRef> InvalidatedSymbols; 218 SymbolRef Sym; 223 FindUniqueBinding(SymbolRef sym)
|
H A D | SymbolManager.h | 98 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 D | TaintManager.h | 32 typedef llvm::ImmutableMap<SymbolRef, TaintTagType> TaintMapImpl;
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BasicObjCFoundationChecks.cpp | 834 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 D | CStringChecker.cpp | 2061 if (SymbolRef Sym = Len.getAsSymbol()) {
|
H A D | GenericTaintChecker.cpp | 70 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 D | MacOSKeychainAPIChecker.cpp | 40 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 D | MallocChecker.cpp | 129 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 D | NSErrorChecker.cpp | 169 typedef llvm::ImmutableMap<SymbolRef, unsigned> ErrorOutFlag; 175 if (SymbolRef sym = val.getAsSymbol()) 184 if (SymbolRef sym = val.getAsSymbol())
|
H A D | ObjCContainersChecker.cpp | 40 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 D | ObjCSelfInitChecker.cpp | 98 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 D | RetainCountChecker.cpp | 336 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 D | SimpleStreamChecker.cpp | 28 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 D | StreamChecker.cpp | 105 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) 226 if (SymbolRef Sym = RetVal.getAsSymbol()) { 368 SymbolRef Sym = 404 SymbolRef Sym = *I;
|
H A D | TaintTesterChecker.cpp | 30 SymbolRef getPointedToSymbol(CheckerContext &C,
|
H A D | TestAfterDivZeroChecker.cpp | 29 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 D | BugReporter.cpp | 2612 void BugReport::markInteresting(SymbolRef sym) { 2652 bool BugReport::isInteresting(SymbolRef sym) {
|
H A D | ConstraintManager.cpp | 22 SymbolRef Sym) { 29 SymbolRef Sym) {
|