Assessment reports>Staking>Threat Model>vestEsGsForPool

Function: vestEsGsForPool(address _gsPool, uint256 _amount)

Allows vesting of esGs for a pool.

Inputs

  • _gsPool

    • Control: Fully controlled by the handler.

    • Constraints: None.

    • Impact: The pool to vest in.

  • _amount

    • Control: Fully controlled by the handler.

    • Constraints: None.

    • Impact: Amount to be vested.

Inputs

  • _amount

    • Control: Fully controlled by the handler.

    • Constraints: None.

    • Impact: Amount to be vested.

Branches and code coverage (including function calls)

Intended branches

  • Allows vesting of esGs through IVester.depositForAccount in a pool.

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

Negative behavior

  • Should not allow calling an unregistered pool.

Zellic © 2024Back to top ↑