Function: pullFromAccount(address account, address token, uint256 amount)

This function allows a trusted market contract created by the owner of the contract using the createMarket function to transfer tokens from the account.

Inputs

• account

  • Control: Full control.

  • Constraints: N/A.

  • Impact: The account address from which tokens will be transferred to this contract.

• token

  • Control: Full control.

  • Constraints: The balance of the account and allowance should be sufficient.

  • Impact: The token address that will be transferred to this contract.

• amount

  • Control: Full control.

  • Constraints: The balance of the account and allowance should be sufficient.

  • Impact: The amount of tokens that will be transferred to this contract.

Branches and code coverage

Intended branches

• Tokens have been successfully transferred.

  Test coverage

Negative behavior

• The caller is not a trusted market.

  Negative test

• The allowance is not enough.

  Negative test

• The account balance is not enough.

  Negative test

Function call analysis

• SafeTransferLib.safeTransferFrom(token, account, address(this), amount)

  • What is controllable? token, account, and amount.

  • If the return value is controllable, how is it used and how can it go wrong? This function does not return a value.

  • What happens if it reverts, reenters or does other unusual control flow? Transfers amount of tokens from the account to this contract.