Extensible and Scalable Architecture for Hybrid Analysis
The prevalence of Android apps and their widespread use in daily life has made them a prime subject of study in program analysis. Apps for e-mail, navigation, mobile banking, eGovernment, healthcare, etc. each have their respective requirements on stability, effciency, and security, which can be checked using static and dynamic analysis.
While developers and researchers can pick from a variety of scalable and integrated frameworks for static analysis, designing a dynamic analysis still requires significant engineering and design effort that contributes little to the analysis task at hand. Existing scholarly work on dynamic analysis has instead focused on individual challenges such as effcient data flow tracking, or code coverage in UI exploration. Combining dynamic analysis configuration and results with artifacts from static analysis is usually dealt with on an individual basis that does not generalize in the sense of a re-usable framework.
In this paper, we present a reference architecture and implementation for an integrated, scalable, and extensible hybrid analysis that offers a wide range of dynamic analysis capabilities. We hope that researchers can build upon our work for increased effciency in hybrid analysis.
Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | SOAP: Session 3 - Scalable AnalysisSOAP at Magnolia 18 Chair(s): Pietro Ferrara Università Ca' Foscari, Venezia, Italy | ||
14:00 40mKeynote | Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering (Virtual)Invited Talk SOAP Tucker Taft AdaCore, United States | ||
14:40 25mTalk | Extensible and Scalable Architecture for Hybrid Analysis SOAP DOI | ||
15:05 25mTalk | User-Assisted Code Query Optimization SOAP Ben Liblit Amazon, Yingjun Lyu Amazon, Rajdeep Mukherjee Amazon, Omer Tripp Amazon, Yanjun Wang Amazon Web Services, USA DOI |