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,
135 SymbolRef Sym;
138 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
157 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()