Run Static Analysis on the `hts-precompile/examples/` Contracts

[se7enarianelabs]

Problem

The hts-precompile/examples/ contracts have not been audited, and no static analysis has been performed on them. To ensure that the example contracts created by the Hedera Team represent the highest quality code, even though they are not audited, we should run a static analysis. This will help identify potential issues and allow us to fix them if necessary.

We should focus on analyzing the following contracts:

• TokenCreateContract.sol
• TokenCreateCustom.sol
• TokenManagementContract.sol
• TokenQueryContract.sol
• TokenTransferContract.sol

Solution

We can utilize Slither to perform the static analysis.

Alternatives

No response

Tasks

Beta Give feedback

1. feat: raw bytecode analysing script #768
   enhancement +1

[se7enarianelabs]

This issue #768 was not related to this one.