Assessment reports>Blackwing>Threat Model>deployAssets

Function: deployAssets(IERC20 asset, uint256 amount)

This function facilitates the transfer of assets from the vault to the deployer; subsequently, the deployer is expected to call the supply function of the Aave pool. Consequently, the vault becomes the holder of the aToken from the Aave pool.

Inputs

  • asset

    • Control: Arbitrary.

    • Constraints: Only registered assets' address.

    • Impact: Address of the asset.

  • amount

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Amount of the asset to supply.

Branches and code coverage

Intended branches

  • Transfer asset in the vault to deployer and call deployer.

Negative behavior

  • Reverts if caller is not the owner.

  • Revert if asset is not registered.

  • Revert if asset is not transferred to the deployer.

Zellic © 2025Back to top ↑