Lines Matching refs:SymbolRef
42 SymbolRef Region;
44 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) : in AllocationState()
72 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
113 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
134 SymbolRef Sym;
137 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
156 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
207 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
214 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()
269 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
312 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
422 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { in checkPostStmt()
435 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol(); in checkPostStmt()
449 SymbolRef Sym, in getAllocationNode()
520 SymbolRef ReturnSymbol = nullptr; in evalAssume()
590 SymbolRef Sym = I.first; in checkPointerEscape()
611 SymbolRef ParentSym = SD->getParentSymbol(); in checkPointerEscape()