Statis Program Analysis for Reliable, Trusted Apps

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2017
Accession Number
AD1027177

Entities

People

  • Michael Ernst

Organizations

  • University of Washington

Tags

Communities of Interest

  • C4I
  • Cyber
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Case Studies
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Governments
  • Java Programming Language
  • Language
  • Law
  • Object Oriented Programming
  • Object-Oriented Programming Language
  • Operating Systems
  • Programming Languages

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Database Systems and Applications
  • Systems Analysis and Design

Technology Areas

  • Cyber