totalSupply()
being zero will result in a division by zero,
causing the transaction to fail.
The function should instead special-case this scenario, and avoid reverting.
There is 1
instance of this issue:
_shareRatio = shareAmt * SAFE_MULTIPLIER / IERC20(address(self.vault)).totalSupply() should check if totalSupply()
greater than zero before division.
Possibly dividing by 0 if the totalSupply
ever returns a zero.
Manual Review
Checking if totalSupply()
greater than zero before division.
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.