Merge branch 'master' into tox

.circleci/config.yml

@@ -1,6 +1,6 @@
 defaults: &defaults
   docker:
-    - image: birdofpreyru/mythril-integration-tests:0.0.3
+    - image: birdofpreyru/mythril-integration-tests:0.0.4
 
 version: 2
 jobs:
@@ -13,7 +13,7 @@ jobs:
 
       # Uncomment, for local testing with circleci command, as it ignores
       # path param in checkout command, and this symlink compenstates for that.
-    #   - run: ln -s /root/project /home/mythril
+      # - run: ln -s /root/project /home/mythril
 
       - restore-cache:
           keys:

CONTRIBUTING.md

@@ -0,0 +1,16 @@
+# Contributing to Mythril
+Hi, if you are reading this that means that you probably want to contribute to Mythril, awesome! If not, then this file might not contain much useful information for you.
+
+## Creating an issue
+If you have found a problem with Mythril or want to propose a new feature then you can do this using GitHub issues. 
+We already created some templates to make this process easier, but if your issue/feature request does not fit within the template then feel free to deviate.
+
+If you have a small question or aren't sure if you should create an issue for your problem/suggestion then you can always hop by on our [Gitter channel](https://gitter.im/ConsenSys/mythril).
+
+# Coding
+If you want to help out with the development of Mythril then you can take a look at our issues or [Waffle board](https://waffle.io/ConsenSys/mythril).
+
+Before you start working on an issue pkease stop by on Gitter to message a collaborator, this way we can assign you to the issue making sure nobody does double work. We can also provide you with support through Gitter if there are any questions during the development process.
+
+## New ideas
+Before you start working on a new idea, it's useful to create an issue on GitHub, that way we know what you want to implement and that you are working on it. Additionally, it might happen that your feature does not fit with our roadmap, in which case it would be unfortunate if you have already spent some time working on it.

Dockerfile

@@ -3,13 +3,17 @@ FROM ubuntu:bionic
 COPY . /opt/mythril
 
 RUN apt-get update \
-  && apt-get install -y software-properties-common \
+  && apt-get install -y \
+     build-essential \
+     python-pip-whl=9.0.1-2 \
+     python3-pip=9.0.1-2 \
+     python3-setuptools \
+     software-properties-common \
   && add-apt-repository -y ppa:ethereum/ethereum \
   && apt-get update \
   && apt-get install -y \
      solc \
      libssl-dev \
-     python3-pip=9.0.1-2 \
      python3-dev \
      pandoc \
      git \

mythril/support/signatures.py

@@ -10,7 +10,7 @@ def add_signatures_from_file(file, sigs={}):
 
         code = f.read()
 
-    funcs = re.findall(r'function[\s]+(.*?\))', code, re.DOTALL)
+    funcs = re.findall(r'function[\s]+(\w+\([^\)]*\))', code, re.DOTALL)
 
     for f in funcs:
 

setup.py

@@ -5,7 +5,7 @@ import os
 # Package version (vX.Y.Z). It must match git tag being used for CircleCI
 # deployment; otherwise the build will failed.
 
-VERSION = "v0.17.14"
+VERSION = "v0.17.15"
 
 class VerifyVersionCommand(install):
   """Custom command to verify that the git tag matches our version"""