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 followings (optional):

• 12 mins video to understand docker
• docker commandlines
• creating docker files
• setting up a docker rep

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/)

Download image using this Dockerfile

docker build -t "svf" .

Download image from Docker Hub

docker pull rockysui/svf

4. Import the image into Docker

docker run svf

4.1 List all running containers

docker container ls 

4.2 Start a stopped container

docker start "your_container_name"

4.3 Rename a local docker image (optional)

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

4.4 Push a local docker image to Docker Hub (optional)

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

5. Setup SVF in the docker

cd ~/svf
. ./setup

6. Run CPU2000 test cases using pointer analysis

cd ~/svf/tests/cpu2000/
./run_andersen.sh
./run_flowsensitive.sh

7. Run memory leak test cases using our source-sink analyzer SABER

cd ~/svf/tests
./runtest.h