[PDF][PDF] The Soot framework for Java program analysis: a retrospective

P Lam, E Bodden, O Lhoták… - Cetus Users and …, 2011 - pdfs.semanticscholar.org
You can write a compiler pass extending Soot, as either a BodyTransformer, for a
intraprocedural analysis; or SceneTransformer, for a whole-program analysis. You choose …

Context-oriented programming

R Hirschfeld, P Costanza, O Nierstrasz - Journal of Object technology, 2008 - boris.unibe.ch
Context-dependent behavior is becoming increasingly important for a wide range of
application domains, from pervasive computing to common business applications …

Toward the reverse engineering of UML sequence diagrams for distributed Java software

LC Briand, Y Labiche, J Leduc - IEEE Transactions on Software …, 2006 - ieeexplore.ieee.org
This paper proposes a methodology and instrumentation infrastructure toward the reverse
engineering of UML (Unified Modeling Language) sequence diagrams from dynamic …

abc: An extensible AspectJ compiler

P Avgustinov, AS Christensen, L Hendren… - Proceedings of the 4th …, 2005 - dl.acm.org
Research in the design of aspect-oriented programming languages requires a workbench
that facilitates easy experimentation with new language features and implementation …

A quantitative analysis of aspects in the eCos kernel

D Lohmann, F Scheler, R Tartler, O Spinczyk… - ACM SIGOPS …, 2006 - dl.acm.org
Nearly ten years after its first presentation and five years after its first application to operating
systems, the suitability of Aspect-Oriented Programming (AOP) for the development of …

A staged static program analysis to improve the performance of runtime monitoring

E Bodden, L Hendren, O Lhoták - … , Berlin, Germany, July 30-August 3 …, 2007 - Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of
events occurs during program execution. Our work is based on tracematches, an extension …

A join point for loops in AspectJ

B Harbulot, JR Gurd - Proceedings of the 5th international conference on …, 2006 - dl.acm.org
The current AspectJ join points represent locations in the code that are the interface of the
Java objects. However, not all the" things that happen" happen at the interfaces. In …

Regression test selection for AspectJ software

G Xu, A Rountev - 29th International Conference on Software …, 2007 - ieeexplore.ieee.org
As aspect-oriented software development gains popularity, there is growing interest in using
aspects to implement cross-cutting concerns in object-oriented systems. When aspect …

Making trace monitors feasible

P Avgustinov, J Tibble, O de Moor - … of the 22nd annual ACM SIGPLAN …, 2007 - dl.acm.org
A trace monitor observes an execution trace at runtime; when it recognises a specified
sequence of events, the monitor runs extra code. In the aspect-oriented programming …

Program analysis using binary decision diagrams

O Lhoták - 2005 - escholarship.mcgill.ca
A fundamental problem in interprocedural program analyses is the need to represent and
manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure …