The constructor of the contract does not validate the _owner address to prevent it from being set as the zero address (address(0)). This oversight can lead to an unintended scenario where the contract lacks an effective owner, rendering key functions inaccessible or vulnerable.
The current constructor implementation includes zero address checks for _aaveV3Pool and _diva, but it relies solely on the inherited Ownable contract for _owner validation. However, if the inheritance behavior or external input validation fails, there is a risk of _owner being set to a zero address.
Potential inability to manage or upgrade the contract due to the lack of a valid owner.
Increased risk of misconfiguration and operational issues.
Manual
Add an explicit zero address check for _owner in the constructor to ensure validation.
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.