Assessment reports>Cove>Threat Model>deposit

Function: deposit(uint256 assets, address receiver)

This function wraps the deposit function to allow the caller to deposit assets without specifying a controller.

Inputs

  • assets

    • Control: Fully controlled by the caller.

    • Constraints: None at this level.

    • Impact: The amount of assets to be claimed.

  • receiver

    • Control: Fully controlled by the caller.

    • Constraints: None at this level.

    • Impact: The address to receive the shares.

Branches and code coverage

Intended branches

  • Call deposit with assets, receiver, and msg.sender as arguments.

Zellic © 2025Back to top ↑