Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic siteBack

Assessment reports>Falcon Finance>Threat Model>cooldownAssets

GeneralOverview

Findings

Informational (4)

DiscussionThe initialization of StakedUSDf may fail The vestingPeriod and cooldownDuration can be set to zero simultaneously

Threat ModelWhat are threat models?ClassicMinterV1.sol FalconBundler.sol FalconPosition.sol PreCollateralizedMinter.sol

StakedUSDf.sol cooldownAssets cooldownShares redeem unstake withdraw

Audit ResultsAssessment Results

Function: `cooldownAssets(uint256 assets, address owner)`

This function withdraws assets with a cooldown period.

Inputs

assets
- Control: Fully controlled by the caller.
- Constraints: N/A.
- Impact: Amount of assets to withdraw.
owner
- Control: Fully controlled by the caller.
- Constraints: N/A.
- Impact: Address of the owner of assets.

Branches and code coverage

Intended branches

Set owner's cooldownEnd to current block.timestamp plus cooldownDuration.
Test coverage
Add owner's underlyingAmount amount of assets.
Test coverage
Call parent's withdrawal for silo, which receives withdrawals.
Test coverage

Zellic © 2025Back to top ↑