JScoper conceptual model



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.