577   SValBuilder &svalBuilder = C.getSValBuilder();  in MallocMemAux()  local
579   DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)  in MallocMemAux()
597     SValBuilder &svalBuilder = C.getSValBuilder();  in MallocMemAux()  local
598     DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);  in MallocMemAux()
600         svalBuilder.evalEQ(state, Extent, *DefinedSize);  in MallocMemAux()
1005   SValBuilder &svalBuilder = C.getSValBuilder();  in ReallocMem()  local
1008     svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull());  in ReallocMem()
1023     svalBuilder.evalEQ(state, Arg1Val,  in ReallocMem()
1024                        svalBuilder.makeIntValWithPtrWidth(0, false));  in ReallocMem()
1098   SValBuilder &svalBuilder = C.getSValBuilder();  in CallocMem()  local
1102   SVal TotalSize = svalBuilder.evalBinOp(state, BO_Mul, count, elementSize,  in CallocMem()
1103                                         svalBuilder.getContext().getSizeType());    in CallocMem()
1104   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);  in CallocMem()