Lines Matching refs:getSValBuilder
1107 NonLoc ZeroFlag = C.getSValBuilder() in performKernelMalloc()
1110 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And, in performKernelMalloc()
1123 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy); in performKernelMalloc()
1133 SValBuilder &SB = C.getSValBuilder(); in evalMulForBufferSize()
1305 SValBuilder &svalBuilder = C.getSValBuilder(); in checkGMalloc0()
1335 SValBuilder &SB = C.getSValBuilder(); in checkGMallocN0()
1387 SValBuilder &SVB = C.getSValBuilder(); in checkGetdelim()
1505 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in ProcessZeroAllocCheck()
1723 SValBuilder &SVB = C.getSValBuilder(); in checkTaintedness()
1769 SValBuilder &SVB = C.getSValBuilder(); in MallocMemAux()
2633 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMemAux()
2731 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem()
3031 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
3389 C.getSValBuilder().getKnownValue(State, ArgVal); in isArgZERO_SIZE_PTR()