Home | History | Annotate | Download | only in Checkers

Lines Matching refs:srcVal

850     SVal srcVal = state->getSVal(Source);
854     state = checkNonNull(C, state, Source, srcVal);
1206   SVal srcVal = state->getSVal(srcExpr);
1207   state = checkNonNull(C, state, srcExpr, srcVal);
1212   SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1307       amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);