hedera-smart-contracts
hedera-smart-contracts copied to clipboard
Run Static Analysis on the `hts-precompile/examples/` Contracts
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
- [ ] https://github.com/hashgraph/hedera-smart-contracts/pull/768