From 91fc763f03545ec00d657e24dd8efd8d1e219d38 Mon Sep 17 00:00:00 2001 From: Seongjoon Hong Date: Tue, 30 May 2023 12:49:22 +0900 Subject: [PATCH] guide to Cerberus --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 77c4b17..3ef3944 100644 --- a/README.md +++ b/README.md @@ -4,8 +4,9 @@ SAVER automatically generates safe patches for three kinds of memory-related err ## Downloads & Installation We provide two ways to install SAVER: -* A VirtualBox image containing all resources to reproduce the main results of our paper: [ICSE20_SAVER_artifacts.tar.gz](https://drive.google.com/open?id=1PHUBRDuzSKxHRIbUYNgdNnPamiSp0Fe1) - * Ubuntu ID/PW: saver/saver +* ~~A VirtualBox image containing all resources to reproduce the main results of our paper: [ICSE20_SAVER_artifacts.tar.gz](https://drive.google.com/open?id=1PHUBRDuzSKxHRIbUYNgdNnPamiSp0Fe1)~~ +* The link for the VirtualBox image is currently borken. Instead, you can download the binary tarball from the link provided. For those who might encounter difficulties running the binary due to environment issues, the [Cerberus](https://github.com/nus-apr/cerberus) platform might be a helpful alternative. + * A full copy of SAVER in its binary executable form: [saver.tar.gz](https://koreaoffice-my.sharepoint.com/:u:/g/personal/seongjoon_korea_ac_kr/EdCX8t7ioXtFtfb4vxNhAZ8B5OctTl7fTPKAh4LI9YvsUA?e=5JGVWv) Please see [INSTALL.md](./INSTALL.md) for full installation instructions and basic usage of SAVER.