Static Compositional Analysis of Libraries in Support of Dynamic Optimization

This report proposes a new approach to the optimized execution of Javabytecode: static analysis is used to prepare dynamic optimization of Java programs. Analysis results are obtained and stored ahead of runtime based on all classes of a software library in concert. During program execution information is composed across library boundaries in order to support especially those optimizations that take advantage of dynamic properties of the subject software. The available choices for the granularity of the analysis context are discussed and reasoning in favour of analysis at the library level is given. Finally some metrics based on four real-world Java libraries of varying sizes provide evidence that this approach will be feasible. — 1 —