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,
110 bool definitelyReturnedError(SymbolRef RetSym,
116 bool definitelyDidnotReturnError(SymbolRef RetSym,
135 SymbolRef Sym;
138 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {}
158 SymbolRef,
210 static SymbolRef getAsPointeeSymbol(const Expr *Expr,
217 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol();
230 bool MacOSKeychainAPIChecker::definitelyReturnedError(SymbolRef RetSym,
290 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C))
334 SymbolRef ArgSM = ArgSVal.getAsLocSymbol();
462 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) {
475 SymbolRef RetStatusSymbol =
490 SymbolRef Sym,