Try Qilin in Docker

If you do not have access to the Linux OS or if you just want to try Qilin without going through the installation steps on 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 to your Docker account

docker login

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

git clone https://github.com/QilinPTA/Qilin.git
cd Qilin
docker build -t hdjay2013/qilin:latest .

Or download the image from Docker Hub (https://hub.docker.com/r/hdjay2013/qilin).

docker pull hdjay2013/qilin:latest

4. Import the image into Docker and start using Qilin

docker run -i -t hdjay2013/qilin:latest /bin/bash

5. Analyse some DaCaPo benchmarks using Andersen's analysis

python3 run.py antlr ci -print

6. Some Docker commandlines (optional)

6.1 List all images

docker image ls 

6.2 List all running containers

docker container ls 

6.3 Start a stopped container

docker start "your_container_name"

6.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 qilin qilin:latest

6.5 Push a local Docker image to Docker Hub

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