From 214e18a30c1e8419099df8a44a0334c75f3c8999 Mon Sep 17 00:00:00 2001
From: William Woodruff <william.woodruff@trailofbits.com>
Date: Tue, 11 Dec 2018 12:20:51 -0500
Subject: [PATCH] Dockerfile: Rewrite to use Ubuntu, official PPA

---
 Dockerfile | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 2a2ad3222..6e7a04ebf 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,4 @@
-FROM alpine:3.6
+FROM ubuntu:bionic
 
 LABEL name slither
 LABEL src "https://github.com/trailofbits/slither"
@@ -6,16 +6,16 @@ LABEL creator trailofbits
 LABEL dockerfile_maintenance trailofbits
 LABEL desc "Static Analyzer for Solidity"
 
-# Mostly stolen from ethereum/solc.
-RUN apk add --no-cache git python3 build-base cmake boost-dev \
-&& sed -i -E -e 's/include <sys\/poll.h>/include <poll.h>/' /usr/include/boost/asio/detail/socket_types.hpp \
-&& git clone https://github.com/ethereum/solidity \
-&& cd /solidity && git checkout 59dbf8f1085b8b92e8b7eb0ce380cbeb642e97eb \ 
-&& cd /solidity && make solc && install -s  solc/solc /usr/bin \
-&& cd / && rm -rf solidity \
-&& rm -rf /var/cache/apk/* \
-&& git clone https://github.com/trailofbits/slither.git
+RUN apt update \
+  && apt upgrade -y \
+  && apt install -y git python3 python3-setuptools wget software-properties-common
+
+RUN wget https://github.com/ethereum/solidity/releases/download/v0.4.25/solc-static-linux \
+ && chmod +x solc-static-linux \
+ && mv solc-static-linux /usr/bin/solc
+
+RUN git clone https://github.com/trailofbits/slither.git
 WORKDIR slither
+
 RUN python3 setup.py install
-ENTRYPOINT ["slither"]
-CMD ["tests/uninitialized.sol"]
+CMD /bin/bash