Experiments with combined analysis for pointer aliasing
Sean Zhang, Barbara G. Ryder, William A. Landi · 1998
We present initial empirical experiments with combined analysis, a scalabk analysis technique that uses a program decomposition to apply different aliasing algorithms to independent program segments. The effectiveness of the solution strategy is validated through application to side-effect and reference analysis of C programs.