hdjay2013/conch-artifact repository overview

⁠Conch Artifact

⁠Introduction

This is the artifact of Conch, an efficient and precise pre-analysis tool in supporting context debloating which is a new approach for accelerating pointer analysis introduced in our paper "Context Debloating for Object-Sensitive Pointer Analysis". The source of this tool has been open-sourced at http://www.cse.unsw.edu.au/~corg/conch/⁠.

⁠Usage

⁠Download the image

$ sudo docker pull hdjay2013/conch-artifact

⁠Launch a container with the image

$ sudo docker run --mount type=bind,source=<result>,target=/conch/result \
                                 --mount type=bind,source=<output>,target=/conch/output \
                                 -it hdjay2013/conch-artifact

Note that you should replace <result> and <output> to the directories in your host machine so that the output of the artifact can be saved even when you remove the container.

⁠Last step

You will log in to a terminal and all our files in our artifact are listed there. Please refer to 'Conch-Artifact-Manual.pdf' to learn how to use the artifact.

That's all. Have fun!