Demanded Abstract Interpretation (Artifact)

This upload is a docker image containing the artifact accompanying our PLDI '21 paper "Demanded Abstract Interpretation."

Documentation of how to use and extend the tool or reproduce the paper's experiments is found within, at `~/d1a_impl/README.txt`.

To run the image,

0.) Install Docker following the directions at [https://www.docker.com/get-started] for your OS, if it is not already installed.  We have prepared this artifact and tested it using Docker Desktop on MacOS, but it should work on Windows and Linux as well.

1.) Unzip the provided Docker image.
    `gunzip -c path/to/pldi21_paper111.tar.gz > pldi21_paper111.tar`

2.) Load it into Docker.
    `docker load < pldi21_paper111.tar`

3.) Run the image. This should open a bash shell, at the home directory of user `pldi` (with sudo privileges).
    `docker run -it pldi21_paper111 bash`