Assessment reports>Staking>Threat Model>withdrawEsGsForPool

Function: withdrawEsGsForPool(address _gsPool)

Allows msg.sender to withdraw esGs for a pool.

Inputs

  • _gsPool

    • Control: Fully controlled by the handler.

    • Constraints: None.

    • Impact: The pool to withdraw from.

Branches and code coverage (including function calls)

Intended branches

  • Allows msg.sender to withdraw esGs through IVester.withdrawForAccount in a pool.

  • Assumes all other relevant checks are performed in IVester.withdrawForAccount.

Negative behavior

  • Should not allow calling an unregistered pool.

Zellic © 2024Back to top ↑