Submission Details
Severity:
Don't have to upgrade unless sessionEnd has reached
Summary
8th rule in invariants:
System upgrade cannot take place unless school's sessionEnd has reached
Vulnerability Details
No check in graduateAndUpgrade for block.timestamp >= sessionEnd.
Impact
Upgrade can be called before session ends.
Tools Used
Manual Review
Recommendations
Add a check in graduateAndUpgrade:
require(block.timestamp >= sessionEnd, "Session not ended");
Updates
Lead Judging Commences
yeahchibyke 6 months ago
Submission Judgement Published Assigned finding tags:
can graduate without session end
`graduateAndUpgrade()` can be called successfully even when the school session has not ended
Rewards breakdown
nSLOC
243This contest has a flat reward structure with the following payouts:
100 EXP
20 EXP
2 EXP
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.