Developmen

t

and Testing

Pre-deployment

Certification

Post-deployment

Adaptation

Reliability Security Performance

program analysis

Dynodroid Stamp CirrusCloud

Developmen

t

and Testing

Pre-deployment

Certification

Post-deployment

Adaptation

Reliability Security Performance

event-driven program

. . .

e1s0 s1 s2 . . .e2 e3

event-driven programe1s0 s1 s2 . . .

tap(305, 544)

e2 e3

Dynodroid achieves higher coverage than Monkey

for 30 of the 50 apps.

Automation Degree = C(Dynodroid ∩ Human)

/C(Human)

Range = 8-100%, Average = 83%, S.D. = 21%

D. Ramos and D. Engler. Under-Constrained Symbolic

Execution: Correctness Checking for Real Code. USENIX

Security 2015.

I. Yun, C. Min, X. Si, Y. Jang, T. Kim, M. Naik. APISan:

Sanitizing API Usages through Semantic Cross-checking.

USENIX Security 2016.

CPU

(GHz)

ScreenRes.

(thousand

pixels)

Rear

Camera

(MP)

Front

Camera

(MP)

SensorsBattery

(mAh)

iPhone 0.4 153 2 -3

(light, accelerometer,

proximity)

1,400

iPhone 3 0.6 153 3 -4

(light , accelerometer,

proximity, compass)

1,150

iPhone 4 0.8 614 5 0.36

(light, accelerometer,

proximity, compass,

gyroscope, infrared)

1,420

iPhone 51.3

dual core727 8 1.2

7(light, accelerometer,

proximity, compass,

gyroscope, infrared,

fingerprint)

1,560

iPhone 62.0

dual core1000 12 5.0

8(light, accelerometer,

proximity, compass,

gyroscope, infrared,

fingerprint, barometer)

1,715

• Data growth trends: IDC's Digital Universe Study, December 2012

• Performance growth trends: Esmaeilzadeh, Blem, St. Amant, Sankaralingam, Burger.

Dark silicon and the end of multicore scaling. ISCA 2011.

years

per

form

ance

4G

3G

2G

…

…Mobile Devices

Mobile Devices

Mobile devices resident on vehicles

“Call Mary!”

Call (Mary)

“Dialing 123-456-7890”

01010101

010101

11110101

110001

1. Interleaved I/O and computation

2. Network latency

010101010

11010100101

110000010

11010101101

3. Diverse and dynamic environments

Interleaved I/O andcomputation

Remote State

Co

mm

un

icati

on

Patt

ern

Optimization Problem

Transient Persistent

Bi-directional

Uni-directional

ILP Min-Cut Network latency

Diverse and dynamicenvironments

?

….

……

…………

……..

………..

…..

….

……

offload…………

……..

………..

resume…..

traces models

optimal and valid

offloading

….

……

…………

……..

………..

…..

….

……

offload…………

……..

………..

resume…..

30 million instructions

> 8 hours

traces models

optimal and valid

offloading

….

……

…………

……..

………..

…..

450 million instructions

< 5

seconds

Min-Cut

….

……

offload…………

……..

………..

resume…..

traces models

optimal and valid

offloading

Sp

eed

up

Fra

mes

Per

Seco

nd

Sequential Concurrent Weakly consistent Partially consistent

Application

Framework(e.g. Android) • Hard to analyze (e.g., native code,

reflection)

• Very large

• Mostly irrelevant to the analysis

ApplicationProgram

Analysis Tool

ApplicationProgram

Analysis Tool

• Summarizes behaviors relevant to

analysis

• Built once and for all

• Improves scalability of analysis

Model of

Framework(e.g. Android)