Lines Matching refs:SVal
56 EnsurePtrNotNull(SVal PtrVal, const Expr *PtrExpr, CheckerContext &C,
62 SVal LinePtrPtrSVal, SVal SizePtrSVal, const Expr *LinePtrPtrExpr,
114 SVal PtrVal, const Expr *PtrExpr, CheckerContext &C, ProgramStateRef State, in EnsurePtrNotNull()
271 const SVal V = Call.getArgSVal(FlagsArgIndex); in CheckOpenVariant()
281 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, in CheckOpenVariant()
315 SVal LinePtrPtrSVal, SVal SizePtrSVal, const Expr *LinePtrPtrExpr, in EnsureGetdelimBufferAndSizeCorrect()
376 SVal SizePtrSval = Call.getArgSVal(1); in CheckGetDelim()
382 SVal LinePtrPtrSVal = Call.getArgSVal(0); in CheckGetDelim()
450 const SVal argVal, in IsZeroByteAllocation()
499 SVal argVal = C.getSVal(arg); in BasicAllocationCheck()
527 SVal argVal = C.getSVal(arg); in CheckCallocZero()