reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1366 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); 1370 assumeZero(C, state, maxlenVal, maxlenExpr->getType()); 1385 state = stateNonZeroSize; 1390 SVal ArgVal = state->getSVal(Arg, LCtx); 1392 state = checkNonNull(C, state, Arg, ArgVal, 1); 1392 state = checkNonNull(C, state, Arg, ArgVal, 1); 1394 if (!state) 1397 SVal strLength = getCStringLength(C, state, Arg, ArgVal); 1414 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); 1423 std::tie(stateStringTooLong, stateStringNotTooLong) = state->assume( 1425 .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy) 1447 state = state->assume(C.getSValBuilder().evalBinOpNN( 1447 state = state->assume(C.getSValBuilder().evalBinOpNN( 1448 state, BO_LE, resultNL, *strLengthNL, cmpTy) 1453 state = state->assume(C.getSValBuilder().evalBinOpNN( 1453 state = state->assume(C.getSValBuilder().evalBinOpNN( 1454 state, BO_LE, resultNL, *maxlenValNL, cmpTy) 1473 state = state->BindExpr(CE, LCtx, result); 1473 state = state->BindExpr(CE, LCtx, result); 1474 C.addTransition(state);