For information about this report see:
http://www.ccs.neu.edu/research/demeter/biblio/LoD-Checkers-2002.html
A revised version of this report appeared as:
A Case for Statically Executable Advice: Checking the Law of Demeter with AspectJ
In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pages ??--??, Boston, Massachusetts, March 17-21, 2003. AOSD 2003, ACM.