How is Aliasing Used in Systems Software
From GradTurkey
[edit] Summary
The authors use a novel path-, context-, and object-sensitive alias analysis they have devised to study the actual use of aliasing in large bodies of C code. The hypothesis is that aliasing, while theoretically unrestricted, in practice has some small number of uses that can be classified succinctly. In fact, they do find that aliasing can almost always be classified into parent/child pointers, shared immutable pointers, shared I/O pointers, callbacks, and various read/write cursors which may access internals of the same region. In additions to explaining the details of their analysis, contains many examples of the types of aliasing discovered in large projects such as postgresql, httpd, openssh, and openssl.
[edit] BibTeX Entry
@Misc{HackettAiken2005,
author = {Brian Hackett and Alex Aiken},
title = {How is Aliasing Used in Systems Software?},
}
