[M-1] Invariant violation: Not all owner transactions reset 90-day timelock, prematurely making assets available
Description: The protocol documentation states the following invariant: EVERY transaction the owner does with this contract must reset the 90 days timer. The functions InheritanceManager::contractInteractions, InheritanceManager::createEstateNFT, and InheritanceManager::removeBeneficiaryare onlyOwner callable transactional functions, and they do not reset the timelock.
Impact: Assets in the contract will be prematurely made available for inheritance, breaking the protocol.
Recommended Mitigation: Add the call to InheritanceManager::_setDeadline in the functions InheritanceManager::contractInteractions, InheritanceManager::createEstateNFT, and InheritanceManager::removeBeneficiary. _setDeadline will reset the timelock to 90 days.
Lead Judging Commences
functions do not reset the deadline
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.