[PDF][PDF] The Soot framework for Java program analysis: a retrospective
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 …
intraprocedural analysis; or SceneTransformer, for a whole-program analysis. You choose …
Context-oriented programming
Context-dependent behavior is becoming increasingly important for a wide range of
application domains, from pervasive computing to common business applications …
application domains, from pervasive computing to common business applications …
Toward the reverse engineering of UML sequence diagrams for distributed Java software
This paper proposes a methodology and instrumentation infrastructure toward the reverse
engineering of UML (Unified Modeling Language) sequence diagrams from dynamic …
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 …
that facilitates easy experimentation with new language features and implementation …
A quantitative analysis of aspects in the eCos kernel
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 …
systems, the suitability of Aspect-Oriented Programming (AOP) for the development of …
A staged static program analysis to improve the performance of runtime monitoring
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 …
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 …
Java objects. However, not all the" things that happen" happen at the interfaces. In …
Regression test selection for AspectJ software
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 …
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 …
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 …
manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure …