thebesttv / Static-Bug-Detectors-ASE-Docker

Build a Docker image for the initial environment of the artifacts of paper "On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions"

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Docker image for artifacts of paper “On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions”

Original artifact repo: Static-Bug-Detectors-ASE-Artifact.

Use run-docker.sh to start the Docker container:

./run-docker.sh

And then, in another terminal, ssh to the running container:

ssh -p 50022 thebesttv@localhost

About

Build a Docker image for the initial environment of the artifacts of paper "On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions"


Languages

Language:Shell 87.9%Language:Dockerfile 12.1%