Assessment reports>Yeet>Threat Model>zapOutNative

Function: zapOutNative(address receiver, SingleTokenSwap swapData0, SingleTokenSwap swapData1, IZapper.KodiakVaultUnstakingParams unstakeParams, IZapper.VaultRedeemParams redeemParams)

This zaps out to get native token.

Inputs

  • receiver

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: Address to receive output native token.

  • swapData0

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: Information of swapping token0 to native token.

  • swapData1

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: Information of swapping token1 to native token.

  • unstakeParams

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: Information of unstaking from the Kodiak Vault.

  • redeemParams

    • Control: Fully controlled by the caller.

    • Constraints: N/A.

    • Impact: Information of redeeming from the vault.

Branches and code coverage

Intended branches

  • Check if the amount of token0 received by Zapper is not zero.

  • Check if the amount of token1 received by Zapper is not zero.

  • Swap token0 and token1 to native token.

  • Transfer native token to the receiver.

Zellic © 2025Back to top ↑