Lines Matching refs:SymbolRef
43 SymbolRef Region;
45 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) : in AllocationState()
73 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
114 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
132 SymbolRef Sym;
135 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
154 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
206 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
213 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); in getAsPointeeSymbol()
268 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
310 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
420 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { in checkPostStmt()
433 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol(); in checkPostStmt()
447 SymbolRef Sym, in getAllocationNode()
518 SymbolRef ReturnSymbol = nullptr; in evalAssume()
588 SymbolRef Sym = I.first; in checkPointerEscape()
609 SymbolRef ParentSym = SD->getParentSymbol(); in checkPointerEscape()