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 :

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