Lines Matching refs:SVal
207 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
209 void checkLocation(SVal l, bool isLoad, const Stmt *S,
280 const Expr *SizeEx, SVal Init,
284 SVal SizeEx, SVal Init,
363 static bool SummarizeValue(raw_ostream &os, SVal V);
365 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
367 void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
372 void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
707 const SVal V = State->getSVal(FlagsEx, C.getLocationContext());
718 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And,
731 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
889 SVal retVal = State->getSVal(E, C.getLocationContext());
1062 const Expr *SizeEx, SVal Init,
1074 SVal Size, SVal Init,
1124 SVal retVal = State->getSVal(E, C.getLocationContext());
1313 SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
1433 SVal RetVal = C.getSVal(ParentExpr);
1503 bool MallocChecker::SummarizeValue(raw_ostream &os, SVal V) {
1590 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,
1636 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
1717 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
1896 SVal Arg0Val = State->getSVal(arg0Expr, LCtx);
1912 SVal Arg1ValG = State->getSVal(Arg1, LCtx);
1945 SVal RetVal = State->getSVal(CE, LCtx);
1999 SVal count = State->getSVal(CE->getArg(0), LCtx);
2000 SVal elementSize = State->getSVal(CE->getArg(1), LCtx);
2001 SVal TotalSize = svalBuilder.evalBinOp(State, BO_Mul, count, elementSize,
2003 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
2026 SVal Val = State->getSVal(MR);
2209 SVal ArgSVal = Call.getArgSVal(I);
2227 SVal RetVal = State->getSVal(E, C.getLocationContext());
2324 void MallocChecker::checkLocation(SVal l, bool isLoad, const Stmt *S,
2336 SVal Cond,
