From 63183d4cea9f6755661f164c321d00dfd3d13609 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Tue, 16 Apr 2024 14:18:18 +0200
Subject: [PATCH] add reference to dockerhub image

---
 README.md | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index bb22cd5..0eff54d 100644
--- a/README.md
+++ b/README.md
@@ -230,7 +230,7 @@ ORDER BY AVG(dex_size);
 
 ## Reusing a Specific Tool
 
-The containers are not on docker hub yet, so they need to be built using:
+If you don't want to use the dockerhub image, you can build them using:
 
 ```
 cd rasta_exp
@@ -261,4 +261,27 @@ E29CCE76464767F97DAE039DBA0A0AAE798DF1763AD02C6B4A45DE81762C23DA.apk  report  st
 The `run.sh` script can be customized to modify the run parameters used for this tool. The script that is copied into the Docker image is located at `rasta_exp/docker/<tool name>/home_build/run.sh`.
 
 
+## Dockerhub images
 
+The docker images are available on dockerhub under the names:
+
+- `histausse/rasta-adagio:icsr2024`
+- `histausse/rasta-amandroid:icsr2024`
+- `histausse/rasta-anadroid:icsr2024`
+- `histausse/rasta-androguard-dad:icsr2024`
+- `histausse/rasta-androguard:icsr2024`
+- `histausse/rasta-apparecium:icsr2024`
+- `histausse/rasta-blueseal:icsr2024`
+- `histausse/rasta-dialdroid:icsr2024`
+- `histausse/rasta-didfail:icsr2024`
+- `histausse/rasta-droidsafe:icsr2024`
+- `histausse/rasta-flowdroid:icsr2024`
+- `histausse/rasta-gator:icsr2024`
+- `histausse/rasta-ic3-fork:icsr2024`
+- `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`