FULL VERSION FOR THE PAPER
    "PROGRESS-SENSITIVE SECURITY FOR SPARK"

--------------------------------------------------------------------------------
--------------------------------------------------------------------------------

This directory contains two PDF files:

 - 2016essos-rafnsson-garg-sabelfeld.pdf

   preprint of the paper publised at ESSOS'16.

 - 2016essos-rafnsson-garg-sabelfeld-appendix.pdf

   full version of the paper, including the appendix.

This directory also contains three tar-gzipped files:

 - attacks.tgz

   contains the source code discussed in Section 2 and Appendix A of
   the paper, that demarcates the boundary of what SPARK's flow
   analysis can achieve.

 - transform.tgz

   contains the examples from Section 6 demonstrating how our
   source-to-source transformation works.

 - missile.tgz

   contains the code for our case study, discussed in Section 7.

Each of these tar-gzipped files contains a README describing its
contents.