Assessment reports>Prisma Finance>Threat Models>claimCollateral

Function: claimCollateral(address _receiver)

Function to claim remaining collateral from a redemption or from a liquidation with ICR > MCR in recovery mode.

Inputs

  • _receiver

    • Control: Fully controlled.

    • Constraints: No constraints.

    • Impact: The receiver address for the collateral tokens.

Branches and code coverage (including function calls)

Intended branches

  • If surplusBalance of the caller is greater than zero, transfer the collateral to the _receiver.

Negative behavior

  • If surplusBalance of the caller is greater than zero, revert the function call.

  • If collateral transfer fails, revert the function call.

Function call analysis

  • collateralToken.transfer(_receiver, claimableColl)

    • What is controllable? _receiver.

    • If return value controllable, how is it used and how can it go wrong? Return value is not controllable.

    • What happens if it reverts, reenters, or does other unusual control flow? No reentrancy scenarios.

Zellic © 2025Back to top ↑