Shiyi Wei, Omer Tripp, Barbara G.
Ryder, Julian Dolby
which often lead to unacceptable performance and/or precision results. We describe
an approach that focuses on improving the practicality and accuracy of points-to
identifies program constructs that are sources of imprecision (i.e., root causes)
through monitoring the static analysis process. We then examine and suggest
specific context-sensitive analyses to apply. Our technique is able to to find that
applications. Moreover, the specialized analysis derived by our approach finishes
within a few seconds, even on programs that can not complete within 10 minutes with
the original analysis.