Assessment reports>Beefy UniswapV3>Threat Model>upgradeTo

Function: upgradeTo(string _strategyName, address _newImplementation)

Allows upgrading the implementation of a strategy.

Inputs

  • _strategyName

    • Control: Fully controlled by the caller.

    • Constraints: None. Should ensure that strategyName exists in the instances mapping.

    • Impact: The name of the strategy to upgrade.

  • _newImplementation

    • Control: Fully controlled by the caller.

    • Constraints: None.

    • Impact: The new implementation address.

Branches and code coverage

Intended branches

  • Should check that the _newImplementation is a valid contract address.

  • Should check that an instance of the _strategyName exists.

  • Upgrades the instance to the new implementation.

Negative behavior

  • Assumes that the current implementation is not the same as the new implementation.

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

Zellic © 2024Back to top ↑