Submission Details
Severity:
No amountCollateral > balance check
Summary
No amountCollateral > balance check
Vulnerability Details
There is a moreThanZero modifier to unsure that the user won't input 0 as amountCollateral but there isn't any check to ensure that the user is inputting an amountCollateral <= to his balance.
Impact
The transaction will fail is the user inputs an amountCollateral > to his balance.
Tools Used
Manual review
Recommendations
Add a if or require check to unsure user is inputting amountCollateral <= to his balance.
Prize pool breakdown
Total prize
15,000 USDC
nSLOC
23664
USDC / LOC
14,000 USDC
1,000 USDC
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.