Function: isAuctionable(address market, address debtor)

This checks if a position is auctionable (are they unhealthy?).

Inputs

• market

  • Control: Full.

  • Constraints: None.

  • Impact: The market.

• debtor

  • Control: Full.

  • Constraints: None.

  • Impact: The debtor.

Branches and code coverage (including function calls)

Intended branches

• Unhealthy user is auctionable.

  Test coverage

Negative behavior

• Healthy user is not auctionable.

  Negative test

Function call analysis

• isAuctionable(market, debtor) -> market.collateral.collateralizationRatio()

  • What is controllable? Nothing.

  • If return value controllable, how is it used and how can it go wrong? Collateralization ratio, if controllable, could be used to unfairly liquidate users.

  • What happens if it reverts, reenters, or does other unusual control flow? N/A.

• isAuctionable(market, debtor) -> market.strategy.liquidationRatio()

  • What is controllable? Nothing.

  • If return value controllable, how is it used and how can it go wrong? Liquidation ratio, if controllable, could be used to unfairly liquidate users.

  • What happens if it reverts, reenters, or does other unusual control flow? N/A.