reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1543 ProgramStateRef state = C.getState(); 1544 const LocationContext *LCtx = C.getLocationContext(); 1550 state = checkNonNull(C, state, Dst, DstVal, 1); 1557 state = checkNonNull(C, state, srcExpr, srcVal, 2); 1562 SVal strLength = getCStringLength(C, state, srcExpr, srcVal); 1568 SValBuilder &svalBuilder = C.getSValBuilder(); 1579 state = CheckOverlap(C, state, isBounded ? CE->getArg(2) : CE->getArg(1), Dst, srcExpr); 1629 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); 1652 assumeZero(C, state, *lenValNL, sizeTy); 1661 C.addTransition(StateZeroSize); 1683 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); 1732 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); 1742 state = checkAdditionOverflow(C, state, *srcStrLengthNL, *dstStrLengthNL); 1755 finalStrLength = getCStringLength(C, state, CE, DstVal, true); 1815 state = CheckLocation(C, state, CE->getArg(2), maxLastElement, 1831 state = CheckLocation(C, state, Dst, lastElement, warningMsg); 1848 state = InvalidateBuffer(C, state, Dst, *dstRegVal, 1853 state = InvalidateBuffer(C, state, srcExpr, srcVal, /*IsSourceBuffer*/true, 1874 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); 1879 C.addTransition(state);