Function: withdrawEscrow(address[] tokens)

Withdraw escrow tokens (onlyOwner).

Inputs

• tokens

  • Control: Full.

  • Constraints: None.

  • Impact: The tokens to withdraw.

Branches and code coverage

Intended branches

• Tokens are withdrawn.

  Test coverage

Negative behavior

• Empty tokens are not transferred.

  Negative test

Function call analysis

• token.balanceOf(address(this))

  • What is controllable? Full.

  • If the return value is controllable, how is it used and how can it go wrong? Check if there are tokens.

  • What happens if it reverts, reenters or does other unusual control flow? Nothing.

• SafeERC20.safeTransfer(token, msg.sender, token.balanceOf(address(this)))

  • What is controllable? token.

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

  • What happens if it reverts, reenters or does other unusual control flow? N/A.

• token.balanceOf(address(this))

  • What is controllable? token.

  • If the return value is controllable, how is it used and how can it go wrong? Amount to send.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.