Efficient resolution of security-sensitive values in Android using abstract interpretation

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014. === Cataloged from PDF version of thesis. === Includes bibliographical references (pages 69-71). === In this thesis I present a design for an efficient and sound abstract interpre...

Full description

Bibliographic Details
Main Author: Petters, Dmitrij
Other Authors: Martin C. Rinard.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2014
Subjects:
Online Access:http://hdl.handle.net/1721.1/91859