Assessment reports>WOOFI Stake>Threat Model>unstake

Function: unstake(uint256 _amount)

This unstakes some amount from the sender's balance and sends funds to the sender. Produces an LZ event of type ACTION_UNSTAKE.

Inputs

  • _amount

    • Control: Fully controlled by the caller.

    • Constraints: Cannot exceed the sender's balance.

    • Impact: The amount to unstake.

Branches and code coverage

Intended branches

  • Called with the exact balance amount.

  • Called with less than the balance amount.

Negative behavior

  • Called with more than the balance amount.

Zellic © 2024Back to top ↑