Home | History | Annotate | Download | only in Checkers

Lines Matching full:srcval

910     SVal srcVal = state->getSVal(Source, LCtx);
914     state = checkNonNull(C, state, Source, srcVal);
1297   SVal srcVal = state->getSVal(srcExpr, LCtx);
1298   state = checkNonNull(C, state, srcExpr, srcVal);
1303   SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1415       amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);