Build Z3 from source

Author: qhdwight

containers/Dockerfile

@@ -16,20 +16,24 @@ ENV LC_ALL en_US.UTF-8
 ENV LANG en_US.UTF-8
 ENV LANGUAGE en_US:en
 
-# Unicorn pypi package fails to setup on ARM, which we need to support for M1 Macs
+# Unicorn and z3 both fail to build from pypi pacakges on ARM
 # Build from source instead and generate our own Python bindings
-RUN git clone https://github.com/unicorn-engine/unicorn.git /opt/unicorn
+RUN git clone https://github.com/unicorn-engine/unicorn.git --single-branch -b 2.0.0 /opt/unicorn
 WORKDIR /opt/unicorn/bindings/python
 RUN python3 setup.py install && rm -rf /opt/unicorn
 
+RUN git clone https://github.com/Z3Prover/z3.git --single-branch -b z3-4.11.2 /opt/z3 && mkdir /opt/z3/build
+WORKDIR /opt/z3/build
+RUN cmake -DCMAKE_BUILD_TYPE=Release -DZ3_BUILD_PYTHON_BINDINGS=TRUE -DZ3_INSTALL_PYTHON_BINDINGS=TRUE .. && make -j && make install && rm -rf /opt/z3
+
 RUN useradd --create-home --groups sudo --shell /bin/zsh wolvsec
 RUN echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
 WORKDIR /home/wolvsec
 USER wolvsec
 
 ENV PATH="${PATH}:/home/wolvsec/.local/bin"
 
-RUN pip3 install pwntools numpy ipython z3-solver
+RUN pip3 install pwntools numpy ipython
 
 RUN bash -c "$(curl -fsSL https://gef.blah.cat/sh)"