logo
1
avatar
0x2471...1d7a 5C2C49BE-0B07-4C3F-8D36-B1FB2C7ACC0C Created with sketchtool. 11 Stranger 1 Jan 2 2023 21:33

What Smart Contract Code Analysis Tools Do You Use?

Discussion

Hey, I've only recently (~6 months ago) picked up solidity as a coding language, but with the increase in hacks & importance of contract security community-wide, I feel the need to improve the current tools I use for contract analysis/auditing. Does anyone have any recommendations for what tools to use? I currently use Olympix & Slither for analysis, the former of which is a much lesser-known tool but has proven pretty good (honestly like it better than Slither).

Answers 2

1
avatar
0x56eb...7000 5C2C49BE-0B07-4C3F-8D36-B1FB2C7ACC0C Created with sketchtool. 11 Stranger 1 Jan 27 2023 7:07

I think [Tenderly](https://tenderly.co/) is one of the best. You can easily simulate transactions on mainnet and even create mainnet forks. Also this tool by [samczsun](https://tx.eth.samczsun.com/) is great for anlysing transactions. Lastly, [this](https://consensys.github.io/smart-contract-best-practices/security-tools/static-and-dynamic-analysis/) list of tools by Consensys.

1
avatar
Sergey Ilin 5C2C49BE-0B07-4C3F-8D36-B1FB2C7ACC0C Created with sketchtool. 12 Stranger 3 Jan 18 2023 20:15

Slither is a good tool and probably is the best of all available. But there are a coupe more good tools: - [Solhint](https://protofire.github.io/solhint/) - [Ethlint](https://github.com/duaraghav8/Ethlint)