System Dependence Graph Construction for Aspect Oriented C++

摘要

This paper proposes an extended system dependence graph called AspectSDG to represent control and data dependences for AspectCH++ programs, and presents an approach for the construction of AspectSDG. This approach decomposes aspect-oriented programs into three parts; component codes, aspect codes, and weaving codes. It constructs program dependence graphs (PDGs) for each part, and then connects the PDGs at call sites to form the complete AspectSDG. The AspectSDG can deal with advice precedence correctly, and represent the additional dependences caused by aspect codes. Based on this model, we introduce how to compute a static slice of an AspectC++ program.