> For the complete documentation index, see [llms.txt](https://edp.ethkipu.org/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://edp.ethkipu.org/modulo-5/seguridad-pruebas-y-auditoria/auditoria-de-smart-contracts/herramientas.md).

# Herramientas

Las herramientas más utilizadas son:

* [Slither](https://github.com/crytic/slither)
  * Una herramienta de Trail of Bits para análisis estático.
* [Echidna](https://github.com/crytic/echidna)
  * Herramienta de Trail of Bits, para fuzzing.
* [Manticore](https://github.com/trailofbits/manticore)
  * Herramienta de Trail of Bits para ejecución simbólica.
* [MythX](https://mythx.io/)
  * Herramienta de seguridad para contratos inteligentes (pagada).
* [Mythrill](https://github.com/ConsenSys/mythril)
  * Versión gratuita de MythX.
* [ETH Security Toolbox](https://github.com/trailofbits/eth-security-toolbox)
  * Script to create docker containers configured with Trail of Bits security tools.
* [ethersplay](https://github.com/crytic/ethersplay)
  * ETH Disassembler
* [Consensys Security Tools](https://consensys.net/diligence/tools/)
  * Una listado de herramientas de Consensys.