Unused totalAllocated in Auction.sol
Auction.sol contains a totalAllocated state variable.
While totalAllocated is defined to represent the total quantity of ZENO tokens allocated for the auction, it is never utilized within the contract's logic. This can potentially allow unauthorized token over-issuance.
In buy(), totalAllocated` is never checked.
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.