Inheritable Smart Contract Wallet

Summary:
There are no validations to prevent duplicate beneficiaries or the addition of zero addresses in functions like InheritanceManager::inherit and InheritanceManager::addBeneficiery.

Vulnerability Details:
Allowing duplicate entries or a zero address can lead to unintended consequences during inheritance distributions.

Impact:
Medium – Can lead to logical errors and mismanagement of beneficiary data.

Tools Used:
slither, aderyn, foundry

Recommendations:
Introduce proper validations to reject duplicate addresses and zero addresses during beneficiary additions.