In VaultFacet.sol:27, the constructor initializes the carbonZeth immutable variable with the _zeth address provided as a parameter. However, there is no check to ensure that the _zeth address is not the zero address.
By failing to check if _zeth is the zero address, there is a potential risk of funds being accidentally. This can lead to permanent loss of funds as the zero address is non-recoverable.
Manual Review
Before assigning the value of _zeth to carbonZeth, implement a check to ensure that _zeth is not the zero address.
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.