Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic site

Assessment reports>Mantle>Threat Models>haltContract

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: `haltContract()`

Halts the contract.

Branches and code coverage (including function calls)

Intended branches

Successfully halts the contract if called by the owner.
Test coverage

Negative behavior

Reverts if the caller is not the owner.
Negative test

Zellic © 2024Back to top ↑