Assessment reports>Wasabi Perps>Threat Model>initialize

Function: initialize(IAddressProvider _addressProvider)

This function initializes the WasabiLongPool contract and assigns the first address provider.

Inputs

  • _addressProvider

    • Control: None.

    • Constraints: None.

    • Impact: Assigns the first address provider.

Branches and code coverage

Intended branches

  • Initializes WasabiLongPool successfully.

Negative behavior

  • Reverts if _addressProvider is not an AddressProvider contract.

  • Reverts if msg.sender is not the owner.

  • Reverts if the contract is already initialized.

Function call analysis

  • __BaseWasabiPool_init(false, _addressProvider)

    • What is controllable? _addressProvider.

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

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

Zellic © 2024Back to top ↑