Assessment reportsPublic findings
Back to Zellic site
↗
Assessment reports>Prisma Finance>Threat Models>getTCR
GeneralOverview
Findings
Critical (1)
Low (1)
Informational (2)
DiscussionInaccurate require stringInconsistent update of `lastDefaultInterestUpdate`Unused codeDiscrepancy between interface and implementationMissing test suite
Threat ModelsWhat are threat models?AdminVoting.solAllocationVesting.solBorrowerOperations.solConvexDepositToken.solDebtToken.solFactory.solIncentiveVoting.solLiquidationManager.solPriceFeed.solPrismaToken.solSortedTroves.solStabilityPool.solTokenLocker.solTreasury.sol
TroveManager.solclaimCollateralclaimRewardgetCurrentICRgetEntireDebtAndCollgetPendingCollAndDebtRewardsgetTCRredeemCollateral
Audit ResultsSummary
AppendixAppendix

Function: getTCR(uint256 _price)

Returns the current TCR.

Inputs

  • _price

    • Control: Fully controlled.

    • Constraints: No constraints.

    • Impact: Current price of collateral.

Branches and code coverage (including function calls)

Intended branches

  • Computes the current TCR based on the given price.

Zellic © 2025Back to top ↑