Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Context-Insensitive Alias Analysis Reconsidered

Erik Ruf

Abstract

Recent work on alias analysis in the presence of pointers has concentrated on context-sensitive interprocedural analyses, which treat multiple calls to a single procedure independently rather than constructing a single approximation to a procedure's effect on all of its callers. While context-sensitive modeling offers the potential for greater precision by considering only realizable call-return paths, its empirical benefits have yet to be measured. This paper compares the precision of a simple, efficient, context-insensitive points-to analysis for the C programming language with that of a maximally context-sensitive version of the same analysis. We demonstrate that, for a number of pointer-intensive benchmark programs, context-insensitivity exerts little to no precision penalty. We also describe techniques for using the output of context-insensitive analysis to improve the efficiency of context-sensitive analysis without affecting precision.

Details

Publication typeInproceedings
URLhttp://www.acm.org/
Pages10
NumberMSR-TR-95-20
InstitutionMicrosoft Research
PublisherAssociation for Computing Machinery, Inc.
> Publications > Context-Insensitive Alias Analysis Reconsidered