Original Code model is the basis for establishing
derived models (and their corresponding views), namely, Call graphs
and Creation sites. The Point of View defines the abstraction
parameters used to obtain call graphs and creation sites (e.g., root method
for the analysis, whether or not to include standard Java API creation sites,
etc.). The Object Lifetime Model keeps the escape information over
the call graph for the creation sites. Creation sites identification is also
made of path information (which corresponds to call graph paths). Region
model, is a mapping from creation sites to regions. An Object
Lifetime model may justify Region models, and in fact, it may be
the actual input of the instrumentation procedure that generates a Scoped
Code model and the Intermediate Region model. |