Airdrop.sol
is performing wrong the check on the soulmate's matrial statusDescription: The soulmates can only claim the airdrop if they are not divorced, however the contract is checking its own matrial status instead of the msg.sender's.
Impact: Divorced soulmates will be able to claim their tokens:
Proof of Concept: Place the following in AirdropTest.t.sol
:
Recommended Mitigation: Modify Soulmate.sol::isDivorced()
so that Airdrop.sol
can check the specific user's status:
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.