Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing...
Transcript of Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing...
![Page 1: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/1.jpg)
![Page 2: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/2.jpg)
![Page 3: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/3.jpg)
Developmen
t
and Testing
Pre-deployment
Certification
Post-deployment
Adaptation
Reliability Security Performance
program analysis
![Page 4: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/4.jpg)
Dynodroid Stamp CirrusCloud
Developmen
t
and Testing
Pre-deployment
Certification
Post-deployment
Adaptation
Reliability Security Performance
![Page 5: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/5.jpg)
![Page 6: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/6.jpg)
event-driven program
. . .
e1s0 s1 s2 . . .e2 e3
![Page 7: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/7.jpg)
event-driven programe1s0 s1 s2 . . .
tap(305, 544)
e2 e3
![Page 8: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/8.jpg)
![Page 9: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/9.jpg)
![Page 10: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/10.jpg)
![Page 11: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/11.jpg)
Dynodroid achieves higher coverage than Monkey
for 30 of the 50 apps.
![Page 12: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/12.jpg)
Automation Degree = C(Dynodroid ∩ Human)
/C(Human)
Range = 8-100%, Average = 83%, S.D. = 21%
![Page 13: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/13.jpg)
![Page 14: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/14.jpg)
![Page 15: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/15.jpg)
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.
![Page 16: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/16.jpg)
![Page 17: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/17.jpg)
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
![Page 18: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/18.jpg)
• 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.
![Page 19: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/19.jpg)
years
per
form
ance
4G
3G
2G
…
…Mobile Devices
Mobile Devices
Mobile devices resident on vehicles
![Page 20: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/20.jpg)
“Call Mary!”
Call (Mary)
“Dialing 123-456-7890”
![Page 21: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/21.jpg)
01010101
010101
11110101
110001
1. Interleaved I/O and computation
2. Network latency
010101010
11010100101
110000010
11010101101
3. Diverse and dynamic environments
![Page 22: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/22.jpg)
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
![Page 23: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/23.jpg)
?
….
……
…………
……..
………..
…..
….
……
offload…………
……..
………..
resume…..
traces models
optimal and valid
offloading
![Page 24: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/24.jpg)
….
……
…………
……..
………..
…..
….
……
offload…………
……..
………..
resume…..
30 million instructions
> 8 hours
traces models
optimal and valid
offloading
![Page 25: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/25.jpg)
….
……
…………
……..
………..
…..
450 million instructions
< 5
seconds
Min-Cut
….
……
offload…………
……..
………..
resume…..
traces models
optimal and valid
offloading
![Page 26: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/26.jpg)
![Page 27: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/27.jpg)
![Page 28: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/28.jpg)
Sp
eed
up
![Page 29: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/29.jpg)
Fra
mes
Per
Seco
nd
![Page 30: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/30.jpg)
![Page 31: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/31.jpg)
Sequential Concurrent Weakly consistent Partially consistent
![Page 32: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/32.jpg)
Application
Framework(e.g. Android) • Hard to analyze (e.g., native code,
reflection)
• Very large
• Mostly irrelevant to the analysis
![Page 33: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/33.jpg)
ApplicationProgram
Analysis Tool
![Page 34: Reliability Security Performance · Dynodroid Stamp CirrusCloud Developmen t and Testing Pre-deployment Certification Post-deployment Adaptation Reliability Security Performance](https://reader034.fdocuments.us/reader034/viewer/2022050111/5f49221bca8fbf36087744ba/html5/thumbnails/34.jpg)
ApplicationProgram
Analysis Tool
• Summarizes behaviors relevant to
analysis
• Built once and for all
• Improves scalability of analysis
Model of
Framework(e.g. Android)