Function: claimEmissions(address receiver)

This can be called to any state. If accEmissions is less than userEmissionDebt[msg.sender], the calculated emissions value can be a huge number as result of cast int256 to uint256.

Inputs

• receiver

  • Constraints: No.

  • Impact: The receiver of emissionToken.

Branches and code coverage (including function calls)

Intended branches

• claim before withdraw tokens

  Test coverage

• claim after withdraw tokens

  Test coverage

Function call analysis

• emissionToken.safeTransfer(receiver, emissions)

  • What is controllable?: receiver

  • If return value controllable, how is it used and how can it go wrong?: n/a

  • What happens if it reverts, reenters, or does other unusual control flow?: can revert if the balance of contract less than emissions value