Lines Matching refs:SVB
1387 SValBuilder &SVB = C.getSValBuilder(); in checkGetdelim() local
1396 State = setDynamicExtent(State, LinePtr->getAsRegion(), *Size, SVB); in checkGetdelim()
1723 SValBuilder &SVB = C.getSValBuilder(); in checkTaintedness() local
1724 QualType SizeTy = SVB.getContext().getSizeType(); in checkTaintedness()
1725 QualType CmpTy = SVB.getConditionType(); in checkTaintedness()
1728 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in checkTaintedness()
1731 SVB.makeIntVal(MaxValInt / APSIntType(MaxValInt).getValue(4)); in checkTaintedness()
1733 auto Cmp = SVB.evalBinOpNN(State, BO_GE, *SizeNL, MaxLength, CmpTy) in checkTaintedness()
1769 SValBuilder &SVB = C.getSValBuilder(); in MallocMemAux() local
1772 ((Family == AF_Alloca) ? SVB.getAllocaRegionVal(CE, LCtx, Count) in MallocMemAux()
1773 : SVB.getConjuredHeapSymbolVal(CE, LCtx, Count) in MallocMemAux()
1788 Size.castAs<DefinedOrUnknownSVal>(), SVB); in MallocMemAux()