From c66927898f80d263d11d38c69482f304d55f8a61 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Wed, 17 Apr 2024 14:52:57 +0200
Subject: [PATCH] add doc to download images instead of building

---
 README.md                        |  9 ++++++++-
 rasta_exp/download_sif_images.sh | 15 +++++++++++++++
 2 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100644 rasta_exp/download_sif_images.sh

diff --git a/README.md b/README.md
index 0eff54d..a2258f3 100644
--- a/README.md
+++ b/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`
diff --git a/rasta_exp/download_sif_images.sh b/rasta_exp/download_sif_images.sh
new file mode 100644
index 0000000..c45089b
--- /dev/null
+++ b/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;