From 732f943de73a6a787949fd193078368da470ca5c Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Sun, 9 Aug 2015 16:15:20 +0200 Subject: [PATCH 1/2] Base: use elfesteem from github --- base/Dockerfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/base/Dockerfile b/base/Dockerfile index 9966ffc..164e1d9 100644 --- a/base/Dockerfile +++ b/base/Dockerfile @@ -32,13 +32,13 @@ RUN cd /opt && \ make clean # Elfesteem -ADD https://elfesteem.googlecode.com/archive/tip.tar.gz /opt/elfesteem.tar.gz +ADD https://github.com/serpilliere/elfesteem/archive/master.zip /opt/elfesteem.zip RUN cd /opt && \ - tar xzf elfesteem.tar.gz && \ - mv elfesteem-tip elfesteem && \ + unzip elfesteem.zip && \ + mv elfesteem-master elfesteem && \ cd elfesteem && \ python setup.py install && \ - rm -rf /opt/elfesteem.tar.gz + rm -rf /opt/elfesteem.zip # Get miasm2 ADD https://github.com/cea-sec/miasm/archive/master.zip /opt/miasm-master.zip From c538f847b48f2d733071b0c51de5c8e3f665c4d6 Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Sun, 9 Aug 2015 16:15:38 +0200 Subject: [PATCH 2/2] Base: install z3 --- base/Dockerfile | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/base/Dockerfile b/base/Dockerfile index 164e1d9..0041aff 100644 --- a/base/Dockerfile +++ b/base/Dockerfile @@ -19,7 +19,7 @@ MAINTAINER Camille Mougey # Download needed packages RUN apt-get -qq update && \ - apt-get -qqy install python2.7 git make gcc libpython2.7-dev python-pyparsing python-llvm unzip + apt-get -qqy install python2.7 git make gcc g++ libpython2.7-dev python-pyparsing python-llvm unzip # TCC release 0.9.26 RUN cd /opt && \ @@ -49,6 +49,13 @@ RUN cd /opt && \ python setup.py install && \ rm -rf /opt/miasm-master.zip +# Get z3 +ADD http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx?ProjectName=z3&changeSetId=cee7dd39444c9060186df79c2a2c7f8845de415b /opt/z3.zip +RUN cd /opt && \ + mkdir z3 && cd z3 && \ + unzip -q ../z3.zip && python scripts/mk_make.py && cd build && make -j 4 && make install && \ + rm /opt/z3.zip + # Clean RUN apt-get -qq remove --purge make git unzip && \ apt-get -qq autoremove --purge && \