Function: depositToken()

The function handles the deposit of tokens to the Blast exchange. This is a call to the handleDeposit function. Internally, the token passed as a parameter is checked to be supported.

The deposit function calls the same handleDeposit function with the defaultToken address passed as parameter. The same threat model applies to it.

Inputs

• amount

  • Control: Completely controlled by the caller.

  • Constraints: The value must not be smaller than the minimum deposit, and the transfer must be successful. The final contract balance must be correct after the transfer.

  • Impact: The amount to deposit.

• token

  • Control: Completely controlled by the caller.

  • Constraints: The token address is checked to be supported.

  • Impact: The token to deposit.

Branches and code coverage (including function calls)

Intended branches

• Transfer some defaultToken from the sender to the contract.

  Test coverage

• The contract balance is correctly updated when the transfer succeeds.

  Test coverage

Negative behavior

• Revert when the amount is smaller than the minimum deposit.

  Negative test

• Revert when the transfer fails.

  Negative test

• Revert when the token is not supported.

  Negative test

Function call analysis

• depositToken -> handleDeposit(uint256 amount, address token)

  • External/Internal? Internal.

  • Argument control? Both arguments are controlled.

  • Impact: Handle underlying checks on arguments and perform the transfer. Ensure the balance is updated correctly.