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 Docker using the following links (optional):

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

2. Login your Docker account

docker login

3. Build a docker image containing a built SVF using this Dockerfile

cp Dockerfile .
docker build -t "svftools/svf" .

Or download the image from Docker Hub (https://hub.docker.com/r/svftools/svf/). Note that this is an older version of SVF

docker pull svftools/svf

4. Import the image into Docker and start using SVF

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

5. Setup SVF in the Docker

. ./setup.sh

6. Run PTABen test cases or following our wiki for analyzing a program

git clone https://github.com/SVF-tools/Test-Suite.git

Run test cases for Andersen's analysis

cd PTABen
./runtest.sh

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