Function: burn(address from, uint256 amount, uint256 index)

This function burns a specified amount of tokens from a given address and returns the updated total supply.

Inputs

• from

  • Constraints: N/A.

  • Impact: The address from which the tokens will be burned.

• amount

  • Constraints: N/A.

  • Impact: The amount getting burned.

• index

  • Constraints: N/A.

  • Impact: The variable debt index of the reserve.

Branches and code coverage (including function calls)

Intended branches

• Burns tokens successfully.

  Test coverage

Negative behavior

• Revert due to invalid burn amount.

  Negative test

Function call analysis

• burn -> _burnScaled(from, address(0), amount, index)

  • External/Internal? Internal.

  • Argument control? from, amount, and index.

  • Impact: Burn a scaled balance token.