循环条件的未选中输入-LocalDate的CheckMarx错误

Question

    public List<ExchangeRate> getExchangeRate(@RequestBody @Validated ExchangeRateRequest exchangeRateRequest) {
        LocalDateTime conversionDateTime = parseConversionDateTime(exchangeRateRequest.getConversionDateTime());
        List<ExchangeRate> exchangeRateList = service.getExchangeRates(exchangeRateRequest, conversionDateTime);
        return exchangeRateList;
    }

    private LocalDate getPreviousBusinessDate(LocalDateTime conversionDateTime) {
        ZonedDateTime localConversionDateTimeWithZone = ZonedDateTime.of(conversionDateTime, ZoneOffset.systemDefault());
        ZonedDateTime conversionDateTimeAtUtc = localConversionDateTimeWithZone.withZoneSameInstant(ZoneOffset.UTC);
        LocalDate currentUtcDate = conversionDateTimeAtUtc.toLocalDate();
        LocalDate prev = currentUtcDate.minusDays(1);
        while(prev.getDayOfWeek()==DayOfWeek.SUNDAY || prev.getDayOfWeek()==DayOfWeek.SATURDAY) {
            prev = prev.minusDays(1);
        }
        return prev;
    }

public class ExchangeRateRequest {
    private final String conversionDateTime;

    @Valid
    private final List<ExchangeRateCurrency> currencies;

    @JsonCreator
    public ExchangeRateRequest(@JsonProperty("conversionDateTime") String conversionDateTime,
                               @JsonProperty("currencies") List<ExchangeRateCurrency> currencies) {
        this.conversionDateTime = conversionDateTime;
        this.currencies = currencies;
    }
}

元素exchangeRateRequest在代码中流动，没有经过验证，最终在ExchangeRateService的getPreviousBusinessDate中的循环条件中使用。JAVA这构成循环条件的未检查输入。

我该怎么解决这个问题？

Answer 1

我认为这个案例是假阳性的，你没有什么可做的（除了要求你的Checkmark所有者忽略这个结果。

循环条件的未检查输入意味着循环可能会意外运行，因为该条件未被清除。

例如，如果您在循环中进行了硬计算，并且例如您希望从用户那里获得一周中的一天，以便在一周中的下一个Rest日运行您的计算，那么用户可以给您数字8，并且您将获得无限循环。

在你的例子中，循环条件不是一个范围，但它只是检查特定的状态，如果它不在这个状态，代码将继续。

我看不出会发生什么坏事。