‹ Findings database
Low/InfoMitosis audit·Three Sigma·Cross-chain liquidity layer 1·25th June, 20243S-Mitosis-N10
Description
RedeemQueue::get() reverts due to underflow if index_.count == 0 instead of the error IndexOutOfRange.
Recommendation
IndexOutOfRange(index._offset, index._count, idx);
Status
Addressed in #17568a7.
Source
Disclosed by 0xSimao · Sherlock's 2025 Watson of the Year · 21 first places in 57 audit contests