Static Analysis of Mobile Programs

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. Stanford's 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.

Open PDF

Document Details

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

Entities

People

  • Alex Aiken

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Computer Programming
  • Computer Programs
  • Computers
  • Government Procurement
  • Governments
  • Information Exchange
  • Language
  • Mobile Operating Systems
  • Mobile Phones
  • Security
  • Simulations
  • Specifications
  • Standards
  • Transient Response Analysis
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Database Systems and Applications
  • Distributed Systems and Data Platform Development

Technology Areas

  • Cyber