Assessment reports>Rainmaker>Threat Models>burn

Function: burn(address from, uint256 amount)

Gives those with MINTER_ROLE the ability to burn tokens.

Inputs

  • from

    • Control: Fully controlled by minter.

    • Constraints: None.

    • Impact: Allows tokens to be burned from any address.

  • amount

    • Control: Fully controlled by minter.

    • Constraints: None.

    • Impact: Allows any amount of tokens to be burned.

Branches and code coverage (including function calls)

Intended branches

  • Reward tokens are properly burned when the caller has MINTER_ROLE.

Negative behavior

  • Reverts when the caller does not have MINTER_ROLE.

Zellic © 2024Back to top ↑