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;
102 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
110 bool definitelyReturnedError(SymbolRef RetSym,
116 bool definitelyDidnotReturnError(SymbolRef RetSym,
135 SymbolRef Sym;
138 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {}
159 SymbolRef,
215 static SymbolRef getAsPointeeSymbol(const Expr *Expr,
222 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol();
235 bool MacOSKeychainAPIChecker::definitelyReturnedError(SymbolRef RetSym,
295 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C))
335 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
463 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) {
476 SymbolRef RetStatusSymbol =
491 SymbolRef Sym,