Context-Insensitive Alias Analysis Reconsidered

Context-Insensitive Alias Analysis Reconsidered (1995)

Cached

Download Links

[www.research.microsoft.com]
[www.research.microsoft.com]

Other Repositories/Bibliography

DBLP

by Erik Ruf , Erik Ruf

Citations:

119 - 1 self

Versions

Version History

Metadata Version 4

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Context-Insensitive Alias Analysis Reconsidered	user correction - Legacy Corrections
AUTHOR NAME	Erik Ruf	SVM HeaderParse 0.1
AUTHOR AFFIL	Microsoft Research; Advanced Technology Division; Microsoft Corporation	SVM HeaderParse 0.2
AUTHOR ADDR	One Microsoft Way; Redmond, WA 98052	SVM HeaderParse 0.1
AUTHOR NAME	Erik Ruf	SVM HeaderParse 0.1
AUTHOR AFFIL	Microsoft Research; Advanced Technology Division; Microsoft Corporation	SVM HeaderParse 0.2
AUTHOR ADDR	One Microsoft Way; Redmond, WA 98052	SVM HeaderParse 0.2
ABSTRACT	ing with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax + 1 (212) 869-0481, or permissions@acm.org. Context-Insensitive Alias Analysis Reconsidered Erik Ruf erikruf@microsoft.com 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 contextsensitive 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...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	13--22	INFERENCE
VOLUME	30	INFERENCE
CITATIONS	22 found	ParsCit 1.0