Searched defs:srcVal (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 945 SVal srcVal = state->getSVal(Source, LCtx);
949 state = checkNonNull(C, state, Source, srcVal);
1342 SVal srcVal = state->getSVal(srcExpr, LCtx); local
1343 state = checkNonNull(C, state, srcExpr, srcVal);
1348 SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1460 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);
1624 state = InvalidateBuffer(C, state, srcExpr, srcVal, /*IsSourceBuffer*/true);
|
Completed in 229 milliseconds