Assessment reports>Omron>Threat Model>claim

Function: claim(address _userAddress)

This function is used to claim all points for the user — returns the number of points claimable by the user.

Inputs

  • _userAddress

    • Control: Arbitrary.

    • Constraints: Not zero address.

    • Impact: Address of the user to claim for.

Branches and code coverage

Intended branches

  • Updates the user's points information by invoking _updatePoints.

  • Returns the number of points claimable by the user and sets the user's point balance to zero.

Negative behavior

  • Reverts if reentrancy is detected.

  • Reverts if the contract is paused.

  • Reverts if the caller is not the claim manager.

  • Reverts if the deposit stop time has not been set.

Zellic © 2025Back to top ↑