Assessment reports>Metavest>Threat Model>updateMetavestTransferability

Function: updateMetavestTransferability(address _grant, bool _isTransferable)

This function is used to update the transferability of the allocation.

Inputs

  • _grant

    • Control: Arbitrary.

    • Constraints: Should be a valid allocation address.

    • Impact: Address of the allocation.

  • _isTransferable

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Boolean value to set the transferability of the allocation.

Branches and code coverage

Intended branches

  • Delete the amendment from the functionToGranteeToAmendmentPending mapping.

  • Update the transferability of the allocation.

Negative behavior

  • Revert if the caller is not the authority.

  • Revert if the condition check fails.

  • Revert if the consent check fails.

Function call analysis

  • BaseAllocation(_grant).updateTransferability(_isTransferable)

    • What is controllable? _grant and _isTransferable.

    • If the return value is 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? N/A.

Zellic © 2024Back to top ↑