Accession Number:

AD1027173

Title:

Static Analysis of Mobile Programs

Descriptive Note:

Technical Report,01 Feb 2012,01 Jun 2016

Corporate Author:

Stanford University Stanford United States

Personal Author(s):

Report Date:

2017-02-01

Pagination or Media Count:

14.0

Abstract:

The goal of the STAMP STatic Analysis of Mobile Programs project has been to build tools for proving the absence of malware in Android applications, also known as apps. The performers focus is on guarantees, their techniques have a large static component, as static proofs are the only known method of reasoning about all possible program executions. Like most systems written in modern languages, Android applications heavily use pointer data structures, complex path conditions, and multiple layers of object-oriented abstractions. Stanfords hypothesis has been that static analysis techniques have reached the point that sound, precise and scalable static analysis for interesting security properties is entirely feasible.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE