Function: initialize(InitializationParams params)

This function is to initialize new LidoVault.

Inputs

• params

  • Control: Arbitrary.

  • Constraints: The values in params is not zero.

  • Impact: The values required to initialize.

Branches and code coverage

Intended branches

• Initialize if the params are not zero.

  Test coverage

Negative behavior

• Reverts if the params.protocolFeeReceiver address is zero.

  Negative test

• Reverts if the params.earlyExitFeeBps is zero.

  Negative test

• Reverts if the params.vaultId is zero.

  Negative test

• Reverts if the params.duration is zero.

  Negative test

• Reverts if the params.fixedSideCapacity is zero.

  Negative test

• Reverts if the params.variableSideCapacity is zero.

  Negative test

• Reverts if the fixedSideCapacity.mulDiv(minimumFixedDepositBps, 10_000) is smaller than minimumDepositAmount.

  Negative test

• Reverts if the fixedSideCapacity is not zero.

  Negative test

Function call analysis

• Math.mulDiv(params.fixedSideCapacity, this.minimumFixedDepositBps, 10000)

  • What is controllable? fixedSideCapacity.

  • If the return value is controllable, how is it used and how can it go wrong? None.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.