Assessment reports>Beefy UniswapV3>Threat Model>inCaseTokensGetStuck

Function: inCaseTokensGetStuck(address _token)

Function to transfer stuck tokens out of the contract.

Inputs

  • _token

    • Control: Fully controlled by owner.

    • Constraints: Checked that it is not token0 or token1.

    • Impact: The token to be transferred out of the contract.

Branches and code coverage

Intended branches

  • Ensure that the token is neither token0 nor token1.

  • Transfer the token to the owner.

Negative behavior

  • Should not allow anyone other than the owner to call this function.

Zellic © 2024Back to top ↑