Vulnerability in Loop-Based Transfers
Description: InheritanceManager::withdrawInheritedFunds uses 'require' statements and 'safeTransfer' calls within a loop. If any single transfer fails—perhaps because a beneficiary is a contract with a rejecting fallback—then the entire transaction reverts.
Impact: A single failing beneficiary transfer can block the distribution process, leaving funds locked in the contract and potentially preventing other beneficiaries from receiving their rightful share.
Recommended Mitigation: Adopt a pull-payment mechanism where each beneficiary withdraws their funds individually. This isolates transfer failures to individual withdrawals rather than impacting the entire transaction.
Rewards breakdown
Live
The contest is live. Earn rewards by submitting a finding.
Appeals
This is your time to appeal against judgements on your submissions.
Appeals Review
Appeals are being carefully reviewed by our judges.