1010   SVal TotalSize = SB.evalBinOp(State, BO_Mul, BlocksVal, BlockBytesVal,  in evalMulForBufferSize()  local
1012   return TotalSize;  in evalMulForBufferSize()
1204   SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1));  in checkGMallocN()  local
1205   State = MallocMemAux(C, Call, TotalSize, Init, State, AF_Malloc);  in checkGMallocN()
1216   SVal TotalSize = evalMulForBufferSize(C, Call.getArgExpr(0), Call.getArgExpr(1));  in checkGMallocN0()  local
1217   State = MallocMemAux(C, Call, TotalSize, Init, State, AF_Malloc);  in checkGMallocN0()
2385   SVal TotalSize = C.getSVal(Arg1);  in ReallocMemAux()  local
2387     TotalSize = evalMulForBufferSize(C, Arg1, CE->getArg(2));  in ReallocMemAux()
2388   if (!TotalSize.getAs<DefinedOrUnknownSVal>())  in ReallocMemAux()
2393     svalBuilder.evalEQ(State, TotalSize.castAs<DefinedOrUnknownSVal>(),  in ReallocMemAux()
2409         C, Call, TotalSize, UndefinedVal(), StatePtrIsNull, Family);  in ReallocMemAux()
2435         MallocMemAux(C, Call, TotalSize, UnknownVal(), stateFree, Family);  in ReallocMemAux()
2475   SVal TotalSize =  in CallocMem()  local
2478   return MallocMemAux(C, Call, TotalSize, zeroVal, State, AF_Malloc);  in CallocMem()