Dynamic Analysis for Smartphone Apps
Users are increasingly relying on smartphones for computational tasks, hence concerns such as app correctness, performance, and security become increasingly pressing. Dynamic analysis is an attractive approach for tackling such concerns via profiling and monitoring. We first present two main infrastructural components developed in our group that permit dynamic analysis of apps, including dozens of top-100 apps, running directly on smartphones and without requiring access to the app’s source code: the A3E systematic explorer and the RERAN record-and-replay tool. A3E combines static analysis with dynamic exploration to allow substantial apps to be explored systematically. RERAN allows app executions to be recorded and replayed very effectively by intercepting and replaying the stream of sensor data coming into the app. Next, we present several applications of our infrastructure: a multi-level (sensors, OS, network) app profiling study which has revealed interesting findings about app network traffic, as well as differences between paid apps and their free counterparts; and strategies for app testing and debugging that have helped us find and reproduce bugs in popular apps.
Speaker Bios
Iulian Neamtiu is an assistant professor in the Department of Computer Science and Engineering at the University of California, Riverside. He received his Ph.D. from the University of Maryland, College Park in 2008. His research interests are in programming languages, software engineering, and the smartphone side of systems and security. He is a recipient of the NSF CAREER award.
- Séries:
- Microsoft Research Talks
- Date:
- Haut-parleurs:
- Iulian Neamtiu
- Affiliation:
- University of California
-
-
Jeff Running
-
-
Taille: Microsoft Research Talks
-
Decoding the Human Brain – A Neurosurgeon’s Experience
Speakers:- Pascal Zinn,
- Ivan Tashev
-
-
-
-
Galea: The Bridge Between Mixed Reality and Neurotechnology
Speakers:- Eva Esteban,
- Conor Russomanno
-
Current and Future Application of BCIs
Speakers:- Christoph Guger
-
Challenges in Evolving a Successful Database Product (SQL Server) to a Cloud Service (SQL Azure)
Speakers:- Hanuma Kodavalla,
- Phil Bernstein
-
Improving text prediction accuracy using neurophysiology
Speakers:- Sophia Mehdizadeh
-
-
DIABLo: a Deep Individual-Agnostic Binaural Localizer
Speakers:- Shoken Kaneko
-
-
Recent Efforts Towards Efficient And Scalable Neural Waveform Coding
Speakers:- Kai Zhen
-
-
Audio-based Toxic Language Detection
Speakers:- Midia Yousefi
-
-
From SqueezeNet to SqueezeBERT: Developing Efficient Deep Neural Networks
Speakers:- Sujeeth Bharadwaj
-
Hope Speech and Help Speech: Surfacing Positivity Amidst Hate
Speakers:- Monojit Choudhury
-
-
-
-
-
'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
Speakers:- Peter Clark
-
Checkpointing the Un-checkpointable: the Split-Process Approach for MPI and Formal Verification
Speakers:- Gene Cooperman
-
Learning Structured Models for Safe Robot Control
Speakers:- Ashish Kapoor
-