1. For DARPA PI Meeting Dec. 2002
Deters and Cytron propose to use analysis aspects to get profiling information from running Java programs.
We explore the design issues behind analysis aspects and show, by example, how to write an interesting aspect-oriented framework that measures bad coupling between objects/aspects.

2. Decoupling of Aspects
Four aspects: Supplier, TargetBinStack, Checker and Statistics are an aspect-oriented framework.
Customization is done by defining subaspects of Supplier and TargetBinStack.
Decoupling of aspects is achieved through
abstract pointcuts and
Named, concrete pointcuts that are “exported”.

3. Instrumentation of Java programs with Aspects
Aspect framework
Aspect Diagram
Supplier
ImmediatePartBin
TargetBinStack
ArgumentBin
Checker
LocallyConstructedBin
uses pointcuts
ReturnValueBin
Requirements:
Statistics
GlobalPreferredBin
Good Separation of Concerns in Law of Demeter Checker
(part 3)

4. Explanation
The *bin* aspects collect potential preferred supplier objects that represent good coupling in the context of a method body.
The Checker aspect checks each method call whether the receiver is a preferred supplier object.
The Statistics aspect counts events generated by the Checker aspect.