Function: depositERC20(DepositParams depositParams)

This function is used to deposit ERC-20 tokens into a smart vault.

Inputs

• depositParams

  • Control: Fully controllable by the caller.

  • Constraints: Address of the vault must be whitelisted by owner.

  • Impact: Address of the vault, amount to deposit, and the receiver address.

Branches and code coverage

Intended branches

• Check the vault address is valid by calling _checkVaultIsValid.

  Test coverage

• Call depositERC20 on the vault.

  Test coverage

• Emit the Deposit event.

  Test coverage

Negative behavior

• Revert if the contract is paused.

  Negative test

• Revert if the provided vault address is not valid.

  Negative test

Function call analysis

• vault.depositERC20(amount, msg.sender, receiver)

  • What is controllable? vault but whitelisted by owner, amount, and receiver.

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

  • What happens if it reverts, reenters or does other unusual control flow? A revert indicates a failure in the vault deposit, and reentrancy is not an issue since there are no subsequent values affected by the CEI pattern.