From 02b902637c2e6b1725346e430107d056857f4351 Mon Sep 17 00:00:00 2001 From: "Dr. Sergey Pogodin" Date: Fri, 17 May 2019 01:23:53 +0200 Subject: [PATCH] Adds Docker pulls shield to README.md... also renames "Downloads" into "PyPI Installs" to avoid confusions. --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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.