Assessment reports>WOOFi Swap>Threat Model>inCaseTokenGotStuck

Function: inCaseTokenGotStuck(address stuckToken)

Function that handles transferring stuck tokens to the owner.

Inputs

  • stuckToken

    • Control: Fully controlled by the caller.

    • Constraints: None. Checked whether it is ETH_PLACEHOLDER_ADDR.

    • Impact: The token to be transferred.

Branches and code coverage

Intended branches

  • Transfer stuck tokens to the owner.

  • Decrease stuckToken balance of the contract to zero.

  • Increase stuckToken balance of the owner by the amount of stuckToken in the contract.

Negative behavior

  • Should not be callable by anyone other than the owner.

Zellic © 2024Back to top ↑