add doc to download images instead of building

README.md

@@ -59,6 +59,14 @@ cd rasta_exp
 cd ..
 ```
 
+The images can also be directly downloaded from the Zenodo archive using:
+
+```
+cd rasta_exp
+./download_sif_images.sh ../data/imgs
+cd ..
+```
+
 (To avoid to rebuild these containers, we will upload them to the Docker hub repository when the paper is published.)
 
 The container and binary of Perfchecker is not provided as the Perfchecker binary is only available on demand.
@@ -281,7 +289,6 @@ The docker images are available on dockerhub under the names:
 - `histausse/rasta-ic3:icsr2024`
 - `histausse/rasta-iccta:icsr2024`
 - `histausse/rasta-mallodroid:icsr2024`
-- `histausse/rasta-perfchecker:icsr2024`
 - `histausse/rasta-redexer:icsr2024`
 - `histausse/rasta-saaf:icsr2024`
 - `histausse/rasta-wognsen:icsr2024`

rasta_exp/download_sif_images.sh

@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+SIF_DIR=$1
+if [[ -z "${SIF_DIR}" ]]; then
+    echo MISSING SIF_DIR parameter
+    exit 1
+fi
+
+[[ -d "${SIF_DIR}" ]] || mkdir "${SIF_DIR}"
+
+tools="androguard androguard_dad didfail adagio anadroid blueseal didfail flowdroid mallodroid redexer saaf wognsen_et_al iccta ic3 ic3_fork gator droidsafe apparecium amandroid dialdroid"
+
+for tool in ${tools}; do
+    curl -L -o "${SIF_DIR}/rasta-${tool}.sif" "https://zenodo.org/records/10980349/files/rasta-${tool}.sif?download=1"
+done;