1096   SValBuilder &svalBuilder = C.getSValBuilder();  in MallocMemAux()  local
1098   DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)  in MallocMemAux()
1112     SValBuilder &svalBuilder = C.getSValBuilder();  in MallocMemAux()  local
1113     DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);  in MallocMemAux()
1115         svalBuilder.evalEQ(State, Extent, *DefinedSize);  in MallocMemAux()
1909   SValBuilder &svalBuilder = C.getSValBuilder();  in ReallocMem()  local
1912     svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());  in ReallocMem()
1927     svalBuilder.evalEQ(State, Arg1Val,  in ReallocMem()
1928                        svalBuilder.makeIntValWithPtrWidth(0, false));  in ReallocMem()
2005   SValBuilder &svalBuilder = C.getSValBuilder();  in CallocMem()  local
2009   SVal TotalSize = svalBuilder.evalBinOp(State, BO_Mul, count, elementSize,  in CallocMem()
2010                                         svalBuilder.getContext().getSizeType());  in CallocMem()
2011   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);  in CallocMem()