Assessment reports>WOOFi Swap>Threat Model>inCaseTokenGotStuck

Function: inCaseTokenGotStuck(address stuckToken)

Allows withdrawing any token from the contract, on the assumption that the token is stuck.

Inputs

  • stuckToken

    • Control: Full control.

    • Constraints: None.

    • Impact: The token will be withdrawn from the contract.

Branches and code coverage

Intended branches

  • Transfers the entire balance of a specific token to the msg.sender (i.e., the owner).

Negative behavior

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

  • Should not be called with malicious intent.

Zellic © 2024Back to top ↑