diff --git a/.circleci/config.yml b/.circleci/config.yml index 91f9166e..2a9aac88 100644 --- a/.circleci/config.yml +++ b/.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: diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md new file mode 100644 index 00000000..b7d14f38 --- /dev/null +++ b/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. diff --git a/Dockerfile b/Dockerfile index d7f1ecb7..23780cb3 100644 --- a/Dockerfile +++ b/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 \ diff --git a/mythril/support/signatures.py b/mythril/support/signatures.py index 11a1e3f6..0431dd21 100644 --- a/mythril/support/signatures.py +++ b/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: diff --git a/setup.py b/setup.py index 4bc79a04..f63489b8 100755 --- a/setup.py +++ b/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"""