Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis
Rebecca Hasti and Susan Horwitz
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.
The main contribution of this paper is the presentation of 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.
(Click here
to access the paper.)
University of Wisconsin