Assessment reports>WOOFI Stake>Threat Model>migrateReserveVault

Function: migrateReserveVault(address _vault)

This allows the owner to perform a migration of the vault.

Inputs

  • _vault

    • Control: Fully controlled by owner.

    • Constraints: Checked that it is not the zero address.

    • Impact: The new vault address.

Branches and code coverage

Intended branches

  • Withdraw everything from the current vault.

  • Deposit everything to the new vault.

  • Update the reserveVault address.

  • Deposit the reserve amount to the new vault. Native in the case that the want is WETH, otherwise ERC-20.

Negative behavior

  • Should not be callable by anyone other than the owner.

Zellic © 2024Back to top ↑