Functions like addBeneficiary and createEstateNFT lack checks for zero addresses or duplicate entries.
addBeneficiary allows adding address(0) or existing beneficiaries.
createEstateNFT does not validate _asset as a valid ERC20 contract.
Potential governance issues or failed transactions due to invalid inputs.
Manual review.
Add checks:
Use OpenZeppelin’s Address.isContract for _asset.
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.