Assessment reports>Staking>Threat Model>claim

Function: claim(address _receiver)

Allows claiming of rewards.

Inputs

  • _receiver

    • Control: Fully controlled by the caller.

    • Constraints: None.

    • Impact: The destination for the claimed rewards.

Branches and code coverage (including function calls)

Intended branches

  • Deletes the claimableReward for msg.sender.

  • Transfers the tokenAmount of reward tokens to the _receiver.

Negative behavior

  • Should not be callable if isPrivateClaimingMode is true.

  • Should not leave any rewards to be claimed again.

Zellic © 2024Back to top ↑