Summary

1. Improper handling of deleting array elements with `_beneficiary` array

Vulnerability Details

• Line 3 - The delete function will just 0 out that element in the array. Meaning there will be a hole in the array with a 0 address. Refer - https://blog.finxter.com/how-to-delete-an-element-from-an-array-in-solidity/ .

• Subsequent operations on the `beneficiary` array will lead to errors

Impact

1. Functions that use this array will lead to errors such as the -

   function withdrawInheritedFunds(address _asset) external {

   if (!isInherited) {

   revert NotYetInherited();

   }

and this function

Tools Used

1. Manual review of elemental structures of code

2. Reference against similar cases with problematic data structures

3. AI for understanding impact of the errors

Recommendations

1. Proper handling of removing elements from the array

Special Considerations

1. At the current moment in time I am a beginner in reading solidity code and am unable to provide a fully fleshed out poc. That would be possible after I understand how to use foundry vm pranks. etc.