Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic site

Assessment reports>Mantle>Threat Models>receive

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

Receive function.

Branches and code coverage (including function calls)

Intended branches

Successfully reverts if ETH is sent to the contract with a call.
Test coverage

Negative behavior

Reverts when Ether is sent to the contract.
Negative test

Zellic © 2024Back to top ↑