Zaros Part 1

DeFiFoundry
60,000 USDC
Submission Details
Severity: high
Valid

The `LiquidationBranch::liquidatableAccountsIds` array is always initialized from the `lowerBound` index. This may cause the `LiquidationBranch::checkLiquidatableAccounts` function to revert if `lowerBound` is not zero.

Updates

Lead Judging Commences

inallhonesty Lead Judge 3 months ago
Submission Judgement Published
Validated
Assigned finding tags:

`LiquidationBranch::checkLiquidatableAccounts()` executes `for` loop where `liquidatableAccountsIds[i] = tradingAccountId;` gives out of bounds if `lowerBound != 0`

Support

FAQs

Can’t find an answer? Join our Discord or follow us on Twitter.

Cyfrin
Updraft
CodeHawks
Solodit
Resources