Searched refs:DstVal (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 1424 SVal DstVal = state->getSVal(Dst, LCtx); in evalStrcpyCommon() local
1426 state = checkNonNull(C, state, Dst, DstVal); in evalStrcpyCommon()
1500 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); in evalStrcpyCommon()
1527 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1599 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); in evalStrcpyCommon()
1622 finalStrLength = getCStringLength(C, state, CE, DstVal, true); in evalStrcpyCommon()
1660 SVal Result = (returnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
1667 DstVal.getAs<loc::MemRegionVal>()) { in evalStrcpyCommon()
1986 SVal DstVal = State->getSVal(Dst, LCtx); in evalStdCopyCommon() local
1987 State = InvalidateBuffer(C, State, Dst, DstVal, /*IsSource=*/false, in evalStdCopyCommon()
|