Skip to main content

Token Oversupply by Repayment Without Burn

What it detects​

The detector examines repayment logic where minted debt tokens are not burned upon repayment. If the asset is returned while tokens remain, total supply exceeds intended limits.

Typical symptoms​

  • Debt token balances persist after loan closed
  • Collateral released without reducing supply

Solidity snippet (v0.8.25)​

pragma solidity ^0.8.25;

contract Lending {
    mapping(address => uint256) public debt;
    
    function repay(uint256 amount) external {
        // Collateral released but debt tokens remain
        debt[msg.sender] -= amount;
    }
}

Why it matters on EVM​

Oversupply undermines the economics of the token and can cause dilution or mispriced liabilities.