Assessment reports>StaFi>Threat Models>init

Function: init(address _rTokenAddress, address _erc20TokenAddress, uint256 _unbondingDuration)

Should initialize the contract.

Inputs

  • _rTokenAddress

    • Control: Fully controlled by the caller.

    • Constraints: None.

    • Impact: The address of the rToken contract.

  • _erc20TokenAddress

    • Control: Fully controlled by the caller.

    • Constraints: None.

    • Impact: The address of the ERC-20 token contract.

  • _unbondingDuration

    • Control: Fully controlled by the caller.

    • Constraints: None.

    • Impact: The duration of the unbonding period, in seconds.

Branches and code coverage (including function calls)

Intended branches

  • Should set all initial parameters.

  • Assure that the erc20TokenAddress is not the zero address.

  • Assure that the _unbondingDuration is not zero or that it is within a reasonable range.

  • Assure that the _rTokenAddress is not the zero address.

Negative behavior

  • Should not allow calling it more than once.

Zellic © 2024Back to top ↑