Home | History | Annotate | Download | only in Checkers

Lines Matching refs:srcVal

876     SVal srcVal = state->getSVal(Source);
880     state = checkNonNull(C, state, Source, srcVal);
1232   SVal srcVal = state->getSVal(srcExpr);
1233   state = checkNonNull(C, state, srcExpr, srcVal);
1238   SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1333       amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);