Assessment reportsPublic findings
Back to Zellic siteBack
↗
Assessment reports>Wasabi Perps>Threat Model>computeMaxInterest
GeneralOverview
Findings
Critical (2)
Medium (2)
Low (1)
Informational (5)
DiscussionLimited test coverageThe difficulty of analyzing code that relies on offchain components
Threat ModelWhat are threat models?BaseWasabiPool.sol
DebtController.solcomputeMaxInterestcomputeMaxPrincipalconstructor
WasabiLongPool.solWasabiShortPool.solWasabiVault.sol
Audit ResultsSummary

Function: computeMaxInterest(address, uint256 _principal, uint256 _lastFundingTimestamp)

This function computes the maximum interest amount to pay for the loan.

Inputs

  • <unnamed@0>

    • Impact: Unused.

  • _principal

    • Control: Full control.

    • Constraints: None.

    • Impact: The principal borrowed.

  • _lastFundingTimestamp

    • Control: Full control.

    • Constraints: Must be lower than the current block.timestamp.

    • Impact: The timestamp where the loan was last funded.

Branches and code coverage

Intended branches

  • Calculates the right maximum interest amount to pay for the loan.

Negative behavior

  • Revert if _lastFundingTimestamp is bigger than block.timestamp.

  • Revert if maxInterestToPay is lower than 0.

Zellic © 2025Back to top ↑