Closed code423n4 closed 2 years ago
certora
You have multiple requires without a message. This could be confusing for users, their transaction will fail and they won't know why. For example ActivePool lines 157, 166, 183 BorrowerOperations lines 434,435 and more..
ActivePool
BorrowerOperations
Manual code review
Add a message in the require to help users
@LilYeti: Should be severity 0: for user interactions off chain.
Duplicate with #17
Duplicate #265
Issues with error messages are at most non-critical.
Handle
certora
Vulnerability details
Impact
You have multiple requires without a message. This could be confusing for users, their transaction will fail and they won't know why. For example
ActivePool
lines 157, 166, 183BorrowerOperations
lines 434,435 and more..Tools Used
Manual code review
Recommended Mitigation Steps
Add a message in the require to help users