Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic siteBack

Assessment reports>Mantle>Threat Models>fallback

GeneralOverview

Findings

Informational (2)

DiscussionCentralization risk Ownership transfer

Threat ModelsWhat are threat models?L1MantleToken.sol L1StandardBridge.sol L2StandardBridge.sol

MantleTokenMigrator.sol defundContract fallback haltContract migrateAllBIT migrateBIT receive setTreasury sweepTokens transferOwnership unhaltContract

Audit ResultsSummary

Function: `fallback()`

Handles nonvalid calldata.

Branches and code coverage (including function calls)

Intended branches

Successfully reverts the transaction.
Test coverage

Negative behavior

Reverts when msg.data is not equal to 0.
Negative test

Zellic © 2025Back to top ↑