The function addMigratedUnderlying does not check if amount is greater than zero.
This can result in an integer overflow/underflow
Manual Inspection
Add a require statement to ensure amount > 0 to prevent unnecessary operations.
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.