Assessment reports>Tradoor>Threat Model>Message: DelistToken

Message: DelistToken

This message allows to delist a token, removing it from the list of assets that are supported by the pool.

The message is only accepted if sent by the pool manager and only if there are no outstanding long or short perpetual positions.

Inputs

The incoming message has the following structure:

message DelistToken { tokenId: Int as uint16; }
  • tokenId

    • Validation: Must correspond to a previously listed token for which there are no outstanding perpetual positions.

    • Impact: Unique ID identifying the token to be delisted.

Test coverage

The basic logic of the message handler is covered by unit tests. The test suite does not contain any negative tests, including authorization checks.

Intended branches

Negative behavior

Zellic © 2025Back to top ↑