Zellic - Audit Reports

Assessment reports Public findings

Back to Zellic siteBack

Assessment reports>Falcon Finance>Threat Model>cooldownShares

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: `cooldownShares(uint256 shares, address owner)`

This function redeems shares with a cooldown period.

Inputs

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

Branches and code coverage

Intended branches

Call parent's redemption for silo, which receives redemptions.
Test coverage
Set the owner's cooldownEnd to the current block.timestamp and cooldownDuration.
Test coverage
Add the owner's underlyingAmount amount of assets that return redemptions.
Test coverage

Zellic © 2025Back to top ↑