Statis Program Analysis for Reliable, Trusted Apps
Technical Report,01 Feb 2012,01 Sep 2016
University of Washington Seattle United States
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Systems Management and Standards