Function: makeTransferFrom(address from, address to, uint256 amount)

This function does ABI encoding to transfer the given amount of tokens from the given from to the given to and then calls tokenCall, which does a low-level call.

Inputs

• from

  • Control: Completely controlled by the caller function.

  • Constraints: None.

  • Impact: The address to transfer from.

• to

  • Control: Completely controlled by the caller function.

  • Constraints: None.

  • Impact: The address to transfer to.

• amount

  • Control: Completely controlled by the caller function.

  • Constraints: None.

  • Impact: The amount to transfer.