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) : Aiken,Alex


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1027173.pdf


Report Date : 01 Feb 2017


Pagination or Media Count : 14


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.


Descriptors :   computer programs , mobile application software , mobile operating systems , software development tools , computer programming


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE