# Tools

### Auditor Tools

These are auditor tools that you can use to help you audit smart contracts.

* [Solodit](https://solodit.xyz/) <- (Use this once you start doing competitive audits!)

### Static Analysis

* [Aderyn](https://github.com/Cyfrin/aderyn)
* [4naly3er](https://github.com/Picodes/4naly3er)

### Symbolic Execution / Formal Verification Tools

* [Manticore](https://github.com/trailofbits/manticore)
* [Mythril](https://github.com/ConsenSys/mythril)
* [Halmos](https://a16zcrypto.com/posts/article/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/)
* [Solidity Compiler](https://docs.soliditylang.org/en/v0.8.20/smtchecker.html)
* [hevm](https://github.com/ethereum/hevm)
* [EthBMC](https://github.com/RUB-SysSec/EthBMC)
* [KEVM](https://github.com/runtimeverification/evm-semantics)
* [Certora](https://www.certora.com/)