Lines Matching full:sval
192 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
194 void checkLocation(SVal l, bool isLoad, const Stmt *S,
241 const Expr *SizeEx, SVal Init,
250 SVal SizeEx, SVal Init,
310 static bool SummarizeValue(raw_ostream &os, SVal V);
312 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
317 void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
747 SVal Size, SVal Init,
792 SVal retVal = State->getSVal(E, C.getLocationContext());
963 SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
1071 SVal RetVal = C.getSVal(ParentExpr);
1125 bool MallocChecker::SummarizeValue(raw_ostream &os, SVal V) {
1212 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,
1300 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
1414 SVal Arg0Val = state->getSVal(arg0Expr, LCtx);
1430 SVal Arg1ValG = state->getSVal(Arg1, LCtx);
1463 SVal RetVal = state->getSVal(CE, LCtx);
1514 SVal count = state->getSVal(CE->getArg(0), LCtx);
1515 SVal elementSize = state->getSVal(CE->getArg(1), LCtx);
1516 SVal TotalSize = svalBuilder.evalBinOp(state, BO_Mul, count, elementSize,
1518 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
1541 SVal Val = State->getSVal(MR);
1709 SVal ArgSVal = Call.getArgSVal(I);
1727 SVal RetVal = State->getSVal(E, C.getLocationContext());
1802 void MallocChecker::checkLocation(SVal l, bool isLoad, const Stmt *S,
1812 SVal Cond,
