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.