Update‐to‐the‐latest‐Docker‐Image - SVF-tools/Software-Security-Analysis GitHub Wiki

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

width=400px

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

width=400px

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

width=400px

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

width=400px