20 likes | 147 Views
A. O. S. D. Set of dynamic join points = property over dynamic call graph Shadow(set of dynamic join points) = property over static call graph = set of lexical join points
E N D
A O S D
Set of dynamic join points = property over dynamic call graph • Shadow(set of dynamic join points) = property over static call graph = set of lexical join points • dexp: selects a set of dynamic jps. How to compute lexp = Shadow(dexp). For all djp: Shadow(dexp(djp)) contained in lexp(Shadow(djp)). For example: some calls not reached but lexp selects them.