Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SymbolRef

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 getAsPointeeSymbol(const Expr *Expr,
223 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol();
236 bool MacOSKeychainAPIChecker::definitelyReturnedError(SymbolRef RetSym,
296 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C))
336 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
464 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) {
477 SymbolRef RetStatusSymbol =
492 SymbolRef Sym,