Accession Number : AD1027177


Title :   Statis Program Analysis for Reliable, Trusted Apps


Descriptive Note : Technical Report,01 Feb 2012,01 Sep 2016


Corporate Author : University of Washington Seattle United States


Personal Author(s) : Ernst,Michael


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1027177.pdf


Report Date : 01 Feb 2017


Pagination or Media Count : 67


Abstract : This report presents three main contributions of the SPARTA project, which was part of DARPAs Automated Program Analysis for Cybersecurity (APAC) program. The first contribution, is a model for collaborative verification of information flow for a high-integrity app store. The second contribution is analyses for implicit control flow that improve precision of downstream analyses. The third contribution is improvements to the Checker Framework. The Checker Framework is an open-source tool that enhances Javas type system to make it more powerful and useful.


Descriptors :   computer applications , computer programs , verification , java programming language


Subject Categories : Computer Programming and Software
      Computer Systems Management and Standards


Distribution Statement : APPROVED FOR PUBLIC RELEASE