@ -9,7 +9,7 @@
[![Read the Docs ](https://readthedocs.org/projects/mythril-classic/badge/?version=master )](https://mythril-classic.readthedocs.io/en/master/)
![Master Build Status ](https://img.shields.io/circleci/project/github/ConsenSys/mythril-classic/master.svg )
[![Sonarcloud - Maintainability ](https://sonarcloud.io/api/project_badges/measure?project=mythril&metric=sqale_rating )](https://sonarcloud.io/dashboard?id=mythril)
[![Pypi Installs ](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://img.shields.io/docker/pulls/mythril/myth.svg?label=DockerHub Pulls )](https://cloud.docker.com/u/mythril/repository/docker/mythril/myth)
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.