diff --git a/README.md b/README.md index ad0e66dc..fcbe2cc9 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,8 @@ ![Master Build Status](https://img.shields.io/circleci/project/github/ConsenSys/mythril-classic/master.svg) [![Waffle.io - Columns and their card count](https://badge.waffle.io/ConsenSys/mythril-classic.svg?columns=In%20Progress)](https://waffle.io/ConsenSys/mythril-classic/) [![Sonarcloud - Maintainability](https://sonarcloud.io/api/project_badges/measure?project=mythril&metric=sqale_rating)](https://sonarcloud.io/dashboard?id=mythril) -[![Downloads](https://pepy.tech/badge/mythril)](https://pepy.tech/project/mythril) +[![PyPI Installs](https://pepy.tech/badge/mythril)](https://pepy.tech/project/mythril) +[![DockerHub Pulls](https://cloud.docker.com/u/mythril/repository/docker/mythril/myth)](https://img.shields.io/docker/pulls/mythril/myth.svg) Mythril Classic is an open-source security analysis tool for Ethereum smart contracts. It uses symbolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities.