Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SymbolRef

41     SymbolRef Region;
43 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) :
65 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
105 const Stmt *getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
113 bool definitelyReturnedError(SymbolRef RetSym,
119 bool definitelyDidnotReturnError(SymbolRef RetSym,
138 SymbolRef Sym;
141 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {}
161 typedef llvm::ImmutableMap<SymbolRef,
225 static SymbolRef getAsPointeeSymbol(const Expr *Expr,
232 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol();
245 bool MacOSKeychainAPIChecker::definitelyReturnedError(SymbolRef RetSym,
301 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C))
341 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
463 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) {
476 SymbolRef RetStatusSymbol =
501 SymbolRef sym = state->getSVal(retExpr, LC).getAsLocSymbol();
513 SymbolRef Sym,