Liquid Staking

Stakelink
DeFiHardhatOracle
50,000 USDC
View results
Submission Details
Severity: low
Invalid

PriorityPool::setQueueDepositParams doesnt check _queueDepositMin < _queueDepositMax leading to potential contract incorrect behaviour

Summary

PriorityPool::setQueueDepositParams function sets the minimum and maximum amount that can be deposited into strategies at once, however doesnt check _queueDepositMin < _queueDepositMax breaking invariant.

Vulnerability Details

PriorityPool::setQueueDepositParams doesnt check _queueDepositMin < _queueDepositMax leading to potential contract incorrect behaviour

function setQueueDepositParams(
uint128 _queueDepositMin,
uint128 _queueDepositMax
) external onlyOwner {
queueDepositMin = _queueDepositMin;
queueDepositMax = _queueDepositMax;
emit SetQueueDepositParams(_queueDepositMin, _queueDepositMax);
}

Impact

Breaking invariants could lead to potential contract incorrect behaviour

Tools Used

Manual Review

Recommendations

Implement a check to require queueDepositMin < queueDepositMax

function setQueueDepositParams(
uint128 _queueDepositMin,
uint128 _queueDepositMax
) external onlyOwner {
queueDepositMin = _queueDepositMin;
queueDepositMax = _queueDepositMax;
require(queueDepositMin < queueDepositMax, " wrong values");
emit SetQueueDepositParams(_queueDepositMin, _queueDepositMax);
}
Updates

Lead Judging Commences

inallhonesty Lead Judge 10 months ago
Submission Judgement Published
Invalidated
Reason: Non-acceptable severity

Support

FAQs

Can't find an answer? Chat with us on Discord, Twitter or Linkedin.