Try SVF in Docker

If you do not have access to a Mac or Linux OS or if you just want to try SVF without going through the installation steps in your local machine, you can do so on Docker with our Docker image.

1. Download and install Docker

https://www.docker.com/

Understand what is Docker with the following links (optional):

• 12 mins video to understand Docker
• Docker commandlines
• Creating Dockerfile
• Setting up a Docker repo

2. Login your Docker

docker login

3. Download Dockerfile to create an SVF image or Download SVF image from Docker Hub (https://hub.docker.com/r/rockysui/svf/)

Build an image using this Dockerfile

cp Dockerfile .
docker build -t "svf" .

Or download the image from Docker Hub

docker pull rockysui/svf

4. Import the image into Docker and start playing SVF

docker run -i -t rockysui/svf /bin/bash

5. Setup SVF in the Docker

cd /SVF-master
. ./setup

6. Run PTABen test cases

cd /SVF-master
git clone https://github.com/SVF-tools/PTABen.git

Run test cases for Andersen's analysis

cd /SVF-master/PTABen
./runtest.h

7. Some Docker commandlines ((optional))

7.1 List all images

docker image ls 

7.2 List all running containers

docker container ls 

7.3 Start a stopped container

docker start "your_container_name"

7.4 Rename a local Docker image

sudo docker tag [existing image name or ID] [Docker Hub username or organization]/[repository name]:[tag]
sudo docker tag svf rockysui/svf:latest

7.5 Push a local Docker image to Docker Hub

sudo docker push [Docker Hub username or organization name]/[repository name]:[tag]
sudo docker push rockysui/svf:latest