It is possible to buy ZENO outside of auction start and end time.
The Auction contract allows set-up auctions to sell ZENO at a decreasing price.
The AuctionState state has a startTime and endTime parameter, but these parameters are never checked during a purchase through buy().
There is even a checkAuctionEnded() function, showing that it shouldn't be possible to buy after endTime, but its never used.
Auction time bounds are not respected.
Add checks for time auction boundaries.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.