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):

Report Date:

2017-02-01

Pagination or Media Count:

67.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE