Lines Matching full:srcval
1026 SVal srcVal = state->getSVal(Source, LCtx);
1030 state = checkNonNull(C, state, Source, srcVal);
1428 SVal srcVal = state->getSVal(srcExpr, LCtx);
1429 state = checkNonNull(C, state, srcExpr, srcVal);
1434 SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1546 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);
1710 state = InvalidateBuffer(C, state, srcExpr, srcVal, /*IsSourceBuffer*/true,
