Description : The onlyBeneficiaryWithIsInherited modifier has an off-by-one error in its loop condition (i < beneficiaries.length + 1), which can lead to an out-of-bounds array access.

Impact: This may allow unauthorized addresses to bypass the check and execute the function, leading to potential vulnerabilities.

Recommended mitigation : Fix the loop condition to i < beneficiaries.length to prevent out-of-bounds access. modifier onlyBeneficiaryWithIsInherited() { uint256 i = 0; while (i < beneficiaries.length) { if (msg.sender == beneficiaries[i] && isInherited) { break; } i++; } _; }