Other ways to build docker image of SVF example project

Method 1: Pull the image in docker hub

1. Enter the command in cmd or terminal: docker pull svftools/teaching-software-analysis:latest
2. Create and Run a container of the image: docker run -it svftools/teaching-software-analysis:latest /bin/bash

Method 2: Build the dockerfile with VSCode extensions interface

(1) Right or secondary click the docker file in VSCode interface hub and select Build Image...

(2) Name and tag the docker image (e.g. teaching-software-analysis:latest)

(3) Once finish building, you can notice in VS Code terminal session and you can find the docker image in docker images bar

Then you can go back to mainsteps