Function: safeTransferToSelf(IERC20 token, uint256 value)

This performs a safe transfer to self. If the token is ETH, then the value is transferred to the contract. If the token is not ETH, then the value is transferred from the sender to the contract.

Inputs

• token

  • Control: Controlled by upper-level function.

  • Constraints: Must be a valid IERC20 or native ETH.

  • Impact: The token to be transferred.

• value

  • Control: Controlled by upper-level function.

  • Constraints: In case of ETH, must be greater than or equal to the msg.value.

  • Impact: The amount of tokens to be transferred.

Branches and code coverage (including function calls)

Intended branches

• Perform a safe transfer of ETH to the contract. This means that the msg.value must be greater than or equal to the value.

  Test coverage

• Returns anything left over to the sender.

  Test coverage

• Perform a safe transfer of tokens from the sender to the contract. This means that the sender must have approved the contract to spend the value amount of.

  Test coverage

Negative behavior

• Should not allow receiving ETH if the token is not ETH. Currently not checked.

  Negative test