Context -Sensitive Pointer Analysis Based on Procedural Summaries

121 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2004.Overall, the accuracy of the proposed context-sensitive analysis is equivalent to that achieved by exhaustively inlining all procedure calls with the exception for recursive calls. On the other hand, thanks to the simplification algorithms, the scalability of the proposed context-sensitive analysis is comparable to that achieved by context-insensitive analysis.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD