Zellic - Audit Reports

Function: `revoke()`

The function allows the revoker to revoke the vesting and stop the beneficiary from releasing any tokens if the vesting period has not been completed.

Branches and code coverage (including function calls)

Intended branches

Checks if the vesting period has not expired.

Calculates the balance and releasable amount of tokens.

Calculates the refundable amount and sets the contract to revoked.

Transfers the refundable amount to the revoker.

Negative behavior

Reverts if the caller is not the revoker.

Reverts if the contract is revoked.

Reverts if the current block.timestamp is after the end of the vesting period.

Function call analysis

_releasableAmount(token)
- External/Internal? Internal.
- Argument control: token.
- Impact: Calculates the amount of tokens that can be released to the beneficiary.
token.safeTransfer(revoker, refund)
- External/Internal? External.
- Argument control: refund.
- Impact: Transfers the refundable amount of tokens to the revoker.

Function: revoke()

Branches and code coverage (including function calls)

Function call analysis

Function: `revoke()`