Searched refs:srcVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1140 SVal srcVal = state->getSVal(Source, LCtx); in evalCopyCommon() local
1144 state = checkNonNull(C, state, Source, srcVal); in evalCopyCommon()
1557 SVal srcVal = state->getSVal(srcExpr, LCtx); in evalStrcpyCommon() local
1558 state = checkNonNull(C, state, srcExpr, srcVal); in evalStrcpyCommon()
1563 SVal strLength = getCStringLength(C, state, srcExpr, srcVal); in evalStrcpyCommon()
1684 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); in evalStrcpyCommon()
1854 state = InvalidateBuffer(C, state, srcExpr, srcVal, /*IsSourceBuffer*/true, in evalStrcpyCommon()
|