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.