libs: Build against the correct anvill version (#745)

Author: alessandrogario

.github/workflows/vcpkg_ci.yml

@@ -50,7 +50,8 @@ jobs:
         shell: bash
         run: |
           # Change to master after testing
-          git clone --depth=1 --branch master https://github.com/lifting-bits/anvill.git
+          git clone --branch master https://github.com/lifting-bits/anvill.git
+          ( cd anvill && git checkout -b release_bc3183b bc3183b )
           mkdir -p anvill/build && cd anvill/build
           cmake -DCMAKE_VERBOSE_MAKEFILE=ON ..
           cmake --build . --target install -- -j "$(nproc)"
@@ -97,7 +98,8 @@ jobs:
         shell: bash
         run: |
           # Change to master after testing
-          git clone --depth=1 --branch master https://github.com/lifting-bits/anvill.git
+          git clone --branch master https://github.com/lifting-bits/anvill.git
+          ( cd anvill && git checkout -b release_bc3183b bc3183b )
           mkdir -p anvill/build && cd anvill/build
           cmake -DCMAKE_VERBOSE_MAKEFILE=ON ..
           cmake --build . --target install -- -j "$(sysctl -n hw.logicalcpu)"

Dockerfile

@@ -43,7 +43,8 @@ RUN git clone --depth=1 --branch master https://github.com/lifting-bits/remill.g
 RUN cd remill && \
     cmake --build remill-build --target install -- -j "$(nproc)" && \
     cd ../ && \
-    git clone --depth=1 --branch master https://github.com/lifting-bits/anvill.git && \
+    git clone --branch master https://github.com/lifting-bits/anvill.git && \
+    ( cd anvill && git checkout -b release_bc3183b bc3183b ) && \
     mkdir -p anvill/build && cd anvill/build && \
     cmake -DCMAKE_VERBOSE_MAKEFILE=ON -DCMAKE_INSTALL_PREFIX=${LIBRARIES} -Dremill_DIR=${LIBRARIES}/lib/cmake/remill -DVCPKG_ROOT=/tmp/vcpkg_ubuntu-${UBUNTU_VERSION}_llvm-${LLVM_VERSION}_${ARCH} .. && \
     cmake --build . --target install -- -j "$(nproc)"

README.md

@@ -71,7 +71,7 @@ Why would anyone translate binaries *back* to bitcode?
 | [Git](https://git-scm.com/) | Latest |
 | [CMake](https://cmake.org/) | 3.2+ |
 | [Remill](https://github.com/lifting-bits/remill) | Latest |
-| [Anvill](https://github.com/lifting-bits/anvill) | Latest |
+| [Anvill](https://github.com/lifting-bits/anvill) | bc3183b |
 | [Python](https://www.python.org/) | 3.8 |
 | [Python Package Index](https://pypi.python.org/pypi) | Latest |
 | [python-protobuf](https://pypi.python.org/pypi/protobuf) | 3.2.0 |
@@ -188,9 +188,12 @@ source bin/activate
 
 ```shell
 git clone --depth 1 --single-branch --branch master https://github.com/lifting-bits/remill.git
-git clone --depth 1 --single-branch --branch master https://github.com/lifting-bits/anvill.git
 git clone --depth 1 --single-branch --branch master https://github.com/lifting-bits/mcsema.git
 
+# Get a compatible anvill version
+git clone --branch master https://github.com/lifting-bits/anvill.git
+( cd anvill && git checkout -b release_bc3183b bc3183b )
+
 export CC="$(which clang)"
 export CXX="$(which clang++)"