Comprehensive Multiplatform Dynamic Program Analysis for Java and Android

Dynamic program analysis, such as with profiling, tracing, and bug-finding tools, is essential for software engineering. Unfortunately, implementing dynamic analysis for managed languages such as Java is unduly difficult and error prone because the runtime environments provide only complex low-level mechanisms. Programmers writing custom tooling must expend great effort in tool development and maintenance, while still suffering substantial limitations such as incomplete code coverage or lack of portability. Ideally, programmers should have a framework that lets them express dynamic-analysis tools at a high level, robustly, with high coverage and supporting alternative runtimes such as Android. To satisfy these requirements, ShadowVM, an all-in-one dynamic-program-analysis framework, uses a combination of techniques.

[1]  Haiyang Sun,et al.  A programming model and framework for comprehensive dynamic analysis on Android , 2015, MODULARITY.

[2]  Bryan Cantrill,et al.  Dynamic Instrumentation of Production Systems , 2004, USENIX Annual Technical Conference, General Track.

[3]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[4]  Petr Tuma,et al.  ShadowVM: robust and comprehensive dynamic program analysis for the java platform , 2014, GPCE '13.

[5]  Walter Binder,et al.  The JVM is not observable enough (and what to do about it) , 2012, VMIL '12.

[6]  Walter Binder,et al.  Introduction to dynamic program analysis with DiSL , 2013, ICPE '13.

[7]  Nicholas Nethercote,et al.  Valgrind: a framework for heavyweight dynamic binary instrumentation , 2007, PLDI '07.

[8]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[9]  Feng Xia,et al.  Introduction to , 2015, ACM Trans. Multim. Comput. Commun. Appl..

[10]  Shigeru Chiba,et al.  Load-Time Structural Reflection in Java , 2000, ECOOP.

[11]  Walter Binder,et al.  DiSL: a domain-specific language for bytecode instrumentation , 2012, AOSD.

[12]  Qin Zhao,et al.  Transparent dynamic instrumentation , 2012, VEE '12.

[13]  Samuel Z. Guyer,et al.  Elephant tracks: portable production of complete and precise gc traces , 2013, ISMM '13.

[14]  Petr Tuma,et al.  Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine , 2013, ECOOP.