Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
How is Aliasing Used in Systems Software? Brian Hackett Alex Aiken
 

Summary: How is Aliasing Used in Systems Software?
Brian Hackett Alex Aiken
Computer Science Department
Stanford University
Abstract
We present a study of all sources of aliasing in over one mil-
lion lines of C code, identifying in the process the common
patterns of aliasing that arise in practice. We find that alias-
ing has a great deal of structure in real programs and that
just nine programming idioms account for nearly all aliasing
in our study. Our study requires an automatic alias analysis
that both scales to large systems and has a low false positive
rate. To this end, we also present a new context-, flow-, and
partially path-sensitive alias analysis that, together with a
new technique for object naming, achieves a false aliasing
rate of 26.2% on our benchmarks.
General Terms
Verification, Experimentation
Categories and Subject Descriptors
Software [Software Engineering]: Program Verification

  

Source: Aiken, Alex - Department of Computer Science, Stanford University

 

Collections: Computer Technologies and Information Sciences