Updated to v1.0.2

build.properties

@@ -2,7 +2,7 @@
 
 build.version = 1.0.1
 
-jsr308.version = 1.9.0
+jsr308.version = 1.9.11 
 
 # Assumes that directories sparta-code/ and checker-framework/ are siblings
 checkers=${env.CHECKERFRAMEWORK}

changelog-sparta.txt

@@ -1,4 +1,4 @@
-Version 1.0.2 
+Version 1.0.2 3 February 2016
 
 Version control repository:
   The SPARTA source code is available in GitHub:

docs/manual.tex

@@ -10,7 +10,7 @@
 \author{\url{http://types.cs.washington.edu/sparta/}
 }
 
-\newcommand{\ReleaseInfo}{1.0.1 (24 April 2015)}
+\newcommand{\ReleaseInfo}{1.0.2 (3 February 2016)}
 \date{Version \ReleaseInfo{}\\[1cm]
 }
 

website/index.html

@@ -34,7 +34,7 @@ <h2>Static Program Analysis for Reliable Trusted Apps</h2>
     <ul>
       <li>
         <a href="current/sparta-toolset.tgz">SPARTA Toolset</a>
-        version 1.0.1, 24 April 2015
+        version 1.0.2, 3 February 2016
       </li>
       <li><a href="release/versions/v1.0.0/sparta-vm-v1.0.0.tar.bz2">SPARTA VM </a>
         version 1.0.0, 28 Dec 2014
@@ -60,7 +60,7 @@ <h2>Static Program Analysis for Reliable Trusted Apps</h2>
     <li>
     Source code repository (at GitHub):  <a href="https://github.com/typetools/sparta/">https://github.com/typetools/sparta/</a><br/>
   </li>
-    <li> Research paper:
+    <li> Research papers:
       <ul>
       <li>
 	<b>&#8220;Collaborative verification of information flow for a high-assuranceq app store&#8221;</b>
@@ -87,6 +87,27 @@ <h2>Static Program Analysis for Reliable Trusted Apps</h2>
 
       </li>
       </ul>
+      <ul>
+      <li>
+<p>
+<b>&#8220;Static analysis of implicit control flow: Resolving Java reflection and Android intents&#8221;</b><br />
+by Paulo Barros, Ren&eacute; Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, and Michael D. Ernst.<br />
+In <em>ASE 2015: Proceedings of the 30th Annual International Conference on Automated Software Engineering</em>, (Lincoln, NE, USA), November&nbsp;11-13, 2015.<br />
+<a href="implicit-control-flow-ase2015-abstract.html">Details</a>.
+Download:
+<a href="implicit-control-flow-ase2015.pdf">PDF</a>,
+<a href="implicit-control-flow-ase2015-slides.pdf">slides (PDF)</a>,
+<a href="implicit-control-flow-ase2015-slides.pptx">slides (PowerPoint)</a>,
+<a href="http://homes.cs.washington.edu/~mernst/pubs/implicit-control-flow-tr150801.pdf">extended version</a>.<br />
+An extended version appeared as 
+&#8220;Static analysis of implicit control flow: Resolving Java reflection and Android intents (extended version)&#8221;
+by Paulo Barros, Ren&eacute; Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, and Michael D. Ernst.
+University of Washington Department of Computer Science and Engineering technical report UW-CSE-15-08-01, (Seattle, WA, USA), Aug. 2015.<br />
+A previous version appeared as University of Washington Department of Computer Science and Engineering technical report UW-CSE-15-05-01, (Seattle, WA, USA), May 2015.
+</p>
+</li>
+</ul>
+
 </li>
 </ul>
 <h3 id="mailing-lists">Mailing lists</h3>

website/release/index.html

@@ -12,6 +12,14 @@
 <h1>SPARTA!</h1>
 <h2>Static Program Analysis for Reliable Trusted Apps</h2>
 
+<h3>Release 1.0.2 (3 February 2016)</h3>
+<p>
+Manual: <a href="versions/v1.0.2/manual.html">manual.html</a>
+<a href="versions/v1.0.2/manual.pdf">manual.pdf</a><br/>
+Binary build: <a href="versions/v1.0.2/sparta-toolset-1.0.2.tgz">sparta-toolset-1.0.2.tgz</a><br/>
+Source bundle: <a href="versions/v1.0.2/sparta-toolset-1.0.2-source.tgz">sparta-toolset-1.0.2-source.tgz</a><br/>
+Example applications: <a href="versions/v1.0.2/sparta-sample-apps-1.0.2.tgz">sparta-samples-1.0.2.tgz</a><br/>
+
 <h3>Release 1.0.1 (24 April 2015)</h3>
 <p>
 Manual: <a href="versions/v1.0.1/manual.html">manual.html</a>