upgrades to ubuntu-latest and adds ghidra installation script

Author: ivg

.github/workflows/full.yml

@@ -1,5 +1,5 @@
 # tests all packages, including bap-extra
-# it requires ghidra, so it works only on ubuntu-20.04
+# it requires ghidra, so it works only on ubuntu-latest
 name: full
 run-name: Testing everything in ${{ github.ref }}
 
@@ -8,7 +8,7 @@ on:
 
 jobs:
   build:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     env:
       BAP_LOG_DIR: $HOME/log
       OPAMRETRES: 8
@@ -17,14 +17,15 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v3
 
-      - name: Install Ghidra and Dejagnu
+      - name: Install Dejagnu
         run: |
-          sudo add-apt-repository ppa:ivg/ghidra -y
           sudo apt-get update -y
-          sudo apt-get install libghidra-dev -y
-          sudo apt-get install libghidra-data -y
           sudo apt-get install dejagnu -y
 
+      - name: Build and Install Ghidra
+        run: |
+          sudo sh ./tools/install-ghidra.sh
+
       - name: Install OCaml
         uses: ocaml/setup-ocaml@v3
         with:

.github/workflows/main.yml

@@ -8,7 +8,7 @@ jobs:
     strategy:
       matrix:
         os:
-          - ubuntu-20.04
+          - ubuntu-latest
         ocaml-compiler:
           - 4.08.x
           - 4.14.x
@@ -29,7 +29,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Prepare Ubuntu
-        if: matrix.os == 'ubuntu-20.04'
+        if: matrix.os == 'ubuntu-latest'
         run: |
           sudo apt-get update -y
           sudo apt-get install dejagnu -y

.github/workflows/nightly.yml

@@ -11,7 +11,7 @@ jobs:
     strategy:
       matrix:
         os:
-          - ubuntu-20.04
+          - ubuntu-latest
         ocaml-compiler:
           - 4.14.x
           - 4.08.x

.github/workflows/oasis.yml

@@ -8,7 +8,7 @@ jobs:
     strategy:
       matrix:
         os:
-          - ubuntu-20.04
+          - ubuntu-latest
         ocaml-compiler:
           - 4.14.x
 
@@ -28,7 +28,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Prepare Ubuntu
-        if: matrix.os == 'ubuntu-20.04'
+        if: matrix.os == 'ubuntu-latest'
         run: |
           sudo apt-get update -y
           sudo apt-get install dejagnu -y

.github/workflows/opam.yml

@@ -11,7 +11,7 @@ jobs:
           - 4.14.x
           - 4.08.x
 
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
 
     env:
       OPAMJOBS: 2
@@ -21,14 +21,15 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v4
 
-      - name: Install Ghidra and Dejagnu
+      - name: Install Dejagnu
         run: |
-          sudo add-apt-repository ppa:ivg/ghidra -y
           sudo apt-get update -y
-          sudo apt-get install libghidra-dev -y
-          sudo apt-get install libghidra-data -y
           sudo apt-get install dejagnu -y
 
+      - name: Build and Install Ghidra
+        run: |
+          sudo sh ./tools/install-ghidra.sh
+
       - name: Install OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v3
         with:

.github/workflows/release.yml

@@ -7,7 +7,7 @@ on:
 
 jobs:
   build:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-latest
 
     env:
       OPAMJOBS: 2
@@ -24,11 +24,9 @@ jobs:
           ocaml-compiler: ocaml-variants.4.14.2+flambda
           dune-cache: true
 
-      - name: Install Ghidra
+      - name: Build and Install Ghidra
         run: |
-          sudo add-apt-repository ppa:ivg/ghidra -y
-          sudo apt-get install libghidra-dev -y
-          sudo apt-get install libghidra-data -y
+          sudo sh ./tools/install-ghidra.sh
 
       - name: Add the testing Repository
         run: opam repo add bap git+https://github.com/BinaryAnalysisPlatform/opam-repository#testing

bap-llvm.opam

@@ -26,6 +26,7 @@ build: [
   [
   "ocaml" "tools/configure.ml"
   "--with-llvm-config=%{conf-bap-llvm:config}%"
+  "--%{llvm-shared?disable:enable}%-llvm-static"
   ]
   [
     "dune"

tools/install-ghidra.sh

@@ -0,0 +1,31 @@
+# usage: install-ghidra.sh [[dst] buildir]
+PREFIX=$(realpath ${1:-/usr})
+BUILDDIR=${2:-$(mktemp -d)}
+GHIDRA_VERSION=10.0.4
+GHIDRA_BASENAME=Ghidra_${GHIDRA_VERSION}_build
+GHIDRA_TARBALL=${GHIDRA_BASENAME}.tar.gz
+GHIDRA_BASE_URL=https://github.com/NationalSecurityAgency/ghidra/archive/refs/tags/
+GHIDRA_SRC_URL=${GHIDRA_BASE_URL}/${GHIDRA_TARBALL}
+GHIDRA_SHA256=76f1bd9604d49a2e59c47b347aedb90484bcfe51217c792e8cc771fc6481147c
+GHIDRA_ROOT=ghidra-${GHIDRA_BASENAME}
+LIBGHIDRA_PATH=${GHIDRA_ROOT}/Ghidra/Features/Decompiler/src/decompile/cpp
+LIBGHIDRA_FLAGS="-O2 -std=c++11 -fPIC"
+LIBGHIDRA_HEADERS_INSTALL_DIR=${PREFIX}/include/ghidra
+LIBGHIDRA_LIBRARY_INSTALL_DIR=${PREFIX}/lib/ghidra
+LIBGHIDRA_PROCESSORS_INSTALL_DIR=${PREFIX}/share/ghidra/Ghidra/Processors
+
+set -x \
+&& cd ${BUILDDIR} \
+&& curl -sS -L -o ${GHIDRA_TARBALL} ${GHIDRA_SRC_URL} \
+&& echo "${GHIDRA_SHA256} ${GHIDRA_TARBALL}" | sha256sum --check \
+&& tar xzvf ${GHIDRA_TARBALL} \
+&& rm ${LIBGHIDRA_PATH}/*bfd*.* ${LIBGHIDRA_PATH}/codedata.* \
+&& make -C ${LIBGHIDRA_PATH} OPT_CXXFLAGS="${LIBGHIDRA_FLAGS}" libdecomp.a libsla.a \
+&& make -C ${LIBGHIDRA_PATH} sleigh_opt \
+&& ${LIBGHIDRA_PATH}/sleigh_opt -a ${GHIDRA_ROOT}/Ghidra \
+&& install -d ${LIBGHIDRA_HEADERS_INSTALL_DIR} \
+&& install -d ${LIBGHIDRA_LIBRARY_INSTALL_DIR} \
+&& install -d ${LIBGHIDRA_PROCESSORS_INSTALL_DIR} \
+&& install -t ${LIBGHIDRA_HEADERS_INSTALL_DIR} ${LIBGHIDRA_PATH}/*.h* \
+&& install -t ${LIBGHIDRA_LIBRARY_INSTALL_DIR} ${LIBGHIDRA_PATH}/*.a \
+&& cp -R ${GHIDRA_ROOT}/Ghidra/Processors/x86 ${LIBGHIDRA_PROCESSORS_INSTALL_DIR} \