MSPLS Spring '98 Workshop

Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis

Rebecca Hasti and Susan Horwitz (Computer Sciences Dept., University of Wisconsin - Madison)

A pointer-analysis algorithm can be either flow-sensitive or flow-insensitive. While flow-sensitive analysis usually provides more precise information, it is also usually considerably more costly in terms of time and space. This talk will present another option in the form of an algorithm that can be `tuned' to provide a range of results that fall between the results of flow-insensitive and flow-sensitive analysis. The algorithm combines a flow-insensitive pointer analysis with static single assignment (SSA) form and uses an iterative process to obtain progressively better results.

Gerald Baumgartner