Towards a domain-specific aspect language for dynamic program analysis: position paper

Despite the increasing importance of dynamic analysis in modern software engineering, the basic abstractions used to develop dynamic analysis tools have not significantly improved for long time. Developing dynamic analyses with low-level instrumentation techniques is error-prone and time consuming, whereas high-level approaches using aspect-oriented programming limit expressiveness, because the join point model in current general-purpose aspect languages has not been especially designed for dynamic analysis tasks. In this position paper, we promote a new domainspecific aspect language for dynamic program analysis in order to provide new foundations for the productive development of flexible and efficient dynamic analysis tools

[1]  Mira Mezini,et al.  Adapting virtual machine techniques for seamless aspect support , 2006, OOPSLA '06.

[2]  Walter Binder,et al.  Advanced runtime adaptation for Java , 2009, GPCE '09.

[3]  Ondrej Lhoták,et al.  abc: an extensible AspectJ compiler , 2005, AOSD '05.

[4]  Frank Yellin,et al.  The Java Virtual Machine Specification , 1996 .

[5]  Bruno De Fraine,et al.  StrongAspectJ: flexible and safe pointcut/advice bindings , 2008, AOSD.

[6]  Éric Tanter Execution levels for aspect-oriented programming , 2010, AOSD.

[7]  Walter Binder,et al.  Polymorphic bytecode instrumentation , 2011, AOSD '11.

[8]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[9]  Laurie Hendren,et al.  Dynamic metrics for java , 2003, OOPSLA 2003.

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

[11]  Walter Binder,et al.  Parallel dynamic analysis on multicores with aspect-oriented programming , 2010, AOSD.

[12]  Walter Binder,et al.  Aspect weaving in standard Java class libraries , 2008, PPPJ '08.

[13]  Walter Binder,et al.  @J: towards rapid development of dynamic analysis tools for the Java Virtual Machine , 2009, VMIL '09.

[14]  Eric Bodden,et al.  Racer: effective race detection using aspectj , 2008, ISSTA '08.

[15]  Walter Binder,et al.  Flexible calling context reification for aspect-oriented programming , 2009, AOSD '09.

[16]  Walter Binder,et al.  Composition of dynamic analysis aspects , 2010, GPCE '10.