Searched refs:srcVal (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 945 SVal srcVal = state->getSVal(Source, LCtx); in evalCopyCommon() local
949 state = checkNonNull(C, state, Source, srcVal); in evalCopyCommon()
1347 SVal srcVal = state->getSVal(srcExpr, LCtx); in evalStrcpyCommon() local
1348 state = checkNonNull(C, state, srcExpr, srcVal); in evalStrcpyCommon()
1353 SVal strLength = getCStringLength(C, state, srcExpr, srcVal); in evalStrcpyCommon()
1465 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); in evalStrcpyCommon()
1629 state = InvalidateBuffer(C, state, srcExpr, srcVal, /*IsSourceBuffer*/true); in evalStrcpyCommon()
|