Function: borrow(address authorizer, address market, uint256 price, uint256 deadline, uint256 amount, address receiver, address owner, uint8 v, bytes32 r, bytes32 s)

This allows borrowing with signature.

Inputs

• authorizer

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be the owner of the contract and part of a valid signature.

  • Impact: Authorizer of the borrow.

• market

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be the address of the contract.

  • Impact: Market address.

• price

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be a valid price.

  • Impact: Price of the borrow.

• deadline

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be in the future and part of a valid signature.

  • Impact: Deadline of the borrow.

• amount

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be a valid amount --- not included in the signature.

  • Impact: Amount of the borrow.

• receiver

  • Control: Fully controlled by the caller.

  • Constraints: None here --- not included in the signature.

  • Impact: Receiver of the borrow.

• owner

  • Control: Fully controlled by the caller.

  • Constraints: None here --- not included in the signature.

  • Impact: Owner of the collateral used for the borrow.

• v

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be a valid signature.

  • Impact: Signature v.

• r

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be a valid signature.

  • Impact: Signature r.

• s

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be a valid signature.

  • Impact: Signature s.

Branches and code coverage (including function calls)

Intended branches

• Ensure that the signature constructed from authorizer, market, price, deadline, v, r, and s is valid.

  Test coverage

• Ensure the authorizer is the owner of the contract.

  Test coverage

• Ensure that the market is the address of the contract.

  Test coverage

• Ensure that the deadline is in the future.

  Test coverage

• Validate the amount to be borrowed against the price.

  Test coverage

• Debt balance of the owner should be increased by the calculated amount.

  Test coverage

• Credit balance of the receiver should be increased by the amount borrowed.

  Test coverage

Negative behavior

• Signature should not be replayable. Currently it is.

  Negative test

• Assumes _owner cannot be address(0).

  Negative test