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
208 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
215 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()
270 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
313 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
423 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { in checkPostStmt()
436 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol(); in checkPostStmt()
450 SymbolRef Sym, in getAllocationNode()
521 SymbolRef ReturnSymbol = nullptr; in evalAssume()
591 SymbolRef Sym = I.first; in checkPointerEscape()
612 SymbolRef ParentSym = SD->getParentSymbol(); in checkPointerEscape()