Update‐to‐the‐latest‐Docker‐Image

1. Please download the latest image by entering the command in cmd or terminal:

Windows, Mac, Linux x86_64 docker pull svftools/software-security-analysis:latest

Mac Apple Silicon docker pull svftools/software-security-analysis:latest-aarch64

2. Then run the latest image by entering the command in cmd or terminal:

• Mac & Linux x86_64: docker run -itd svftools/software-security-analysis:latest /bin/bash

• Mac Apple Silicon: docker run -itd svftools/software-security-analysis:latest-aarch64 /bin/bash

• Windows: docker run -itd svftools/teaching-software-verification:latest

3. Make sure you are opening the newly executed container with the same series number. (You can hover the mouse on the container)

4. Finally attach to it like you originally did before and you will be in the latest ENV