Function: auction(address liquidator, uint256 liquidated, address debtor)

This auctions.

Inputs

• liquidator

  • Control: Full.

  • Constraints: None.

  • Impact: Liquidator.

• liquidated

  • Control: Full.

  • Constraints: > 0.

  • Impact: Amount liquidated.

• debtor

  • Control: Full.

  • Constraints: None.

  • Impact: Account to be liquidated.

Branches and code coverage (including function calls)

Intended branches

• Auction pays off and transfers tokens.

  Test coverage

Negative behavior

• Zero check.

  Negative test

• Cannot auction with insufficient shares.

  Negative test

Function call analysis

• auction(...) -> assetsPerShare()

  • What is controllable? Everything.

  • If return value controllable, how is it used and how can it go wrong? Assets per share.

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

• auction(...) -> collateral.balanceOf(debtor)

  • What is controllable? Everything.

  • If return value controllable, how is it used and how can it go wrong? Amount of collateral of debtor.

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

• auction(...) -> converToShares(liquidated)

  • What is controllable? Everything.

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

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

• auction(...) -> collateral.balanceOf(liquidator)

  • What is controllable? Everything.

  • If return value controllable, how is it used and how can it go wrong? Amount of collateral of liquidator.

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

• auction(...) -> collateral.auctionTransfer(debtor, liquidator, collateral_balance)

  • What is controllable? Everything (onlyAuction).

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

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

• auction(...) -> debt.erase(debtor)

  • What is controllable? Everything.

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

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

• auction(...) -> _mint(this, profit_shares)

  • What is controllable? Nothing.

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

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