717   const SVal V = State->getSVal(FlagsEx, C.getLocationContext());  in performKernelMalloc()
885       State->getSVal(Arg, C.getLocationContext()).getAs<DefinedSVal>();  in ProcessZeroAllocation()
900     SVal retVal = State->getSVal(E, C.getLocationContext());  in ProcessZeroAllocation()
968       if (SymbolRef Sym = C.getSVal(*I).getAsSymbol())  in checkPostStmt()
993     if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol())  in checkPreStmt()
1076   return MallocMemAux(C, CE, State->getSVal(SizeEx, C.getLocationContext()),  in MallocMemAux()
1132   SVal retVal = State->getSVal(E, C.getLocationContext());  in MallocUpdateRefState()
1321   SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());  in FreeMemAux()
1441     SVal RetVal = C.getSVal(ParentExpr);  in FreeMemAux()
1904   SVal Arg0Val = State->getSVal(arg0Expr, LCtx);  in ReallocMem()
1920   SVal Arg1ValG = State->getSVal(Arg1, LCtx);  in ReallocMem()
1953   SVal RetVal = State->getSVal(CE, LCtx);  in ReallocMem()
2007   SVal count = State->getSVal(CE->getArg(0), LCtx);  in CallocMem()
2008   SVal elementSize = State->getSVal(CE->getArg(1), LCtx);  in CallocMem()
2034           SVal Val = State->getSVal(MR);  in getAllocationSite()
2235   SVal RetVal = State->getSVal(E, C.getLocationContext());  in checkPreStmt()
2265     cast<BlockDataRegion>(state->getSVal(BE,  in checkPostStmt()