Merge branch 'master' into ci/cd

Dockerfile

@@ -1,19 +1,21 @@
-FROM ubuntu:rolling
+FROM ubuntu:bionic
 
-COPY . .
+COPY . /opt/mythril
 
 RUN apt-get update \
   && apt-get install -y software-properties-common \
   && add-apt-repository -y ppa:ethereum/ethereum \
   && apt-get update \
-  && apt-get install -y solc \
-  && apt-get install -y libssl-dev \
-  && apt-get install -y python3-pip=9.0.1-2 python3-dev \
+  && apt-get install -y \
+     solc \
+     libssl-dev \
+     python3-pip=9.0.1-2 \
+     python3-dev \
+     pandoc \
+     git \
   && ln -s /usr/bin/python3 /usr/local/bin/python \
-  # && pip3 install --upgrade pip \
-  && apt-get install -y pandoc \
-  && apt-get install -y git \
+  && cd /opt/mythril \
   && pip3 install -r requirements.txt \
   && python setup.py install
 
-CMD []
+ENTRYPOINT ["/usr/local/bin/myth"]

README.md

@@ -1,10 +1,12 @@
 # Mythril
+[![PyPI](https://badge.fury.io/py/mythril.svg)](https://pypi.python.org/pypi/mythril)
+[![Join the chat at https://gitter.im/ConsenSys/mythril](https://badges.gitter.im/ConsenSys/mythril.svg)](https://gitter.im/ConsenSys/mythril?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
 ![Master Build Status](https://img.shields.io/circleci/project/github/ConsenSys/mythril/master.svg)
-[![Join the chat at https://gitter.im/ConsenSys/mythril](https://badges.gitter.im/ConsenSys/mythril.svg)](https://gitter.im/ConsenSys/mythril?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)  [![PyPI](https://badge.fury.io/py/mythril.svg)](https://pypi.python.org/pypi/mythril)
+[![Waffle.io - Columns and their card count](https://badge.waffle.io/ConsenSys/mythril.svg?columns=all)](https://waffle.io/ConsenSys/mythril)
 
 <img height="120px" align="right" src="/static/mythril.png"/>
 
-Mythril is a security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities. The analysis is based on [laser-ethereum](https://github.com/b-mueller/laser-ethereum), a symbolic execution library for EVM bytecode.
+Mythril is a security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities.
 
 ## Installation and setup
 
@@ -29,15 +31,16 @@ Documentation has moved to the [Wiki page](https://github.com/ConsenSys/mythril/
 
 ## Publications and Videos
 
-- [HITBSecConf 2018 - Smashing Ethereum smart contracts for fun and real profit](https://www.youtube.com/watch?v=iqf6epACgds)
 - [HITBSecConf 2018 conference paper](https://github.com/b-mueller/smashing-smart-contracts/blob/master/smashing-smart-contracts-1of1.pdf)
+- [HITBSecConf 2018 - Smashing Ethereum smart contracts for fun and real profit](https://www.youtube.com/watch?v=iqf6epACgds)
 - [EDCon Toronto 2018 - Mythril: Find bugs and verify security properties in your contracts](https://www.youtube.com/watch?v=NJ9StJThxZY&feature=youtu.be&t=3h3m18s)
 
 ## Mythril is Hiring
 
-[ConsenSys Diligence](https://consensys.net/diligence/) is building a dedicated Mythril team. If you're a coder and/or Ethereum security enthusiast who wants to do interesting and challenging work for a decentralized organization, check out the open positions below. Feel free to apply though the form on the careers website. or ping [b-mueller](http://github.com/b-mueller/) on [Gitter](https://gitter.im/ConsenSys/mythril).
+[ConsenSys Diligence](https://consensys.net/diligence/) is building a dedicated Mythril team. If you're a coder and/or Ethereum security enthusiast who wants to do interesting and challenging work for a decentralized organization, check out the open positions below. Please visit the links below to apply.
 
 - [Developer - Security Analysis Tools](https://new.consensys.net/careers/?gh_jid=1129067)
 - [Developer - Security Analysis Tools (Part Time)](https://new.consensys.net/careers/?gh_jid=1129048)
-- [Lead Developer - Security Analysis Engine](https://new.consensys.net/careers/?gh_jid=1127291)
-- [Lead Software Engineer - Auditor Security Tools](https://new.consensys.net/careers/?gh_jid=1127282)
+- [Lead Developer - Security Tools for Auditors](https://new.consensys.net/careers/?gh_jid=1127282)
+- [Lead Developer - Secure SDLC Tools](https://new.consensys.net/careers/?gh_jid=1127284)
+- [Product Manager - Security Tools](https://new.consensys.net/careers/?gh_jid=1127271)

mythril/mythril.py

@@ -281,6 +281,7 @@ class Mythril(object):
 
             try:
                 signatures.add_signatures_from_file(file, self.sigs)
+                self._update_signatures(self.sigs)
                 contract = SolidityContract(file, contract_name, solc_args=self.solc_args)
                 logging.info("Analyzing contract %s:%s" % (file, contract.name))
             except FileNotFoundError:
@@ -293,7 +294,6 @@ class Mythril(object):
                 self.contracts.append(contract)
                 contracts.append(contract)
 
-        self._update_signatures(self.sigs)
         return address, contracts
 
     def dump_statespace(self, contract, address=None, max_depth=12):