Assessment reports>Omni AVS>Threat Model>constructor

Function: constructor(uint256 initialSupply, address recipient)

Defining the Omni ERC-20 token.

Inputs

  • initialSupply

    • Control: Fully controlled by the deployer.

    • Constraints: None.

    • Impact: The initial supply of the token to be minted.

  • recipient

    • Control: Fully controlled by the deployer.

    • Constraints: None.

    • Impact: The address that will receive the initial supply of the token.

Branches and code coverage

Intended branches

  • Mint the entire initial supply to the recipient.

  • Properly initialize the ERC20 and ERC20Permit contracts.

Negative behavior

  • None.

Zellic © 2025Back to top ↑