Article

How is aliasing used in systems software?

Authors:

Alex AikenAuthors Info & Claims

SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering

Pages 69 - 80

https://doi.org/10.1145/1181775.1181785

Published: 05 November 2006 Publication History

Abstract

We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that aliasing 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.

References

[1]

A. Aiken, J. Foster, J. Kodumal, and T. Terauchi. Checking and inferring local non-aliasing.In Proc.of the Conference on Programming Language Design and Implementation pages 129--140, 2003.

Digital Library

[2]

J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Proc. of the Conference on Object-Oriented Programming, Systems, Languages, and Applications pages 311--330, 2002.

Digital Library

[3]

M. Berndl, O. Lhotak, F. Qian, L. Hendren, and N. Umanee. Points-to analysis using BDDs. In Proc. of the Conference on Programming Language Design and Implementation pages 103--114, 2003.

Digital Library

[4]

J. Boyland. Alias burying: Unique variables without destructive reads. Softw. Pract. Exper. 31(6):533--553, 2001.

Digital Library

[5]

D. Chase, M. Wegman, and K. Zadeck. Analysis of pointers and structures. In Proc. of the Conference on Programming Language Design and Implementation pages 296--310, 1990.

Digital Library

[6]

R. Chatterjee, B. Ryder, and W. Landi. Relevant context inference. In Proc. of the Symposium on Principles of Programming Languages pages 133--146, 1999.

Digital Library

[7]

J. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proc. of the Symposiumon Principles of Programming Languages pages 232--245, 1993.

Digital Library

[8]

D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In Proc. of the Conferenceon Object-Oriented Programming, Systems, Languages, and Applications pages 48--64, October 1998.

Digital Library

[9]

M. Das. Unification-based pointer analysis with directional assignments. In Proc. of the Conference on Programming Language Design and Implementation pages 35--46, 2000.

Digital Library

[10]

M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proc. of the Conferenceon Programming Language Design and Implementation pages 242--256, 1994.

Digital Library

[11]

M. Fähndrich and R. DeLine. Adoption and focus: Practical linear types for imperative programming. In Proc. of the Conference on Programming Language Design and Implementation pages 13--24, 2002.

Digital Library

[12]

J. Foster, M. Fähndrich, and A. Aiken. Polymorphic versus monomorphic flow-insensitive points-to analysis for C. In Proc. of the International Symposium on Static Analysis pages 175--198, 2000.

Digital Library

[13]

R. Ghiya and L. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In Proc. of the Symposium on Principles of Programming Languages pages 1--15, 1996.

Digital Library

[14]

M. Hind and A. Pioli. Which pointer analysis should I use? In Proc. of the International Symposium on Software Testing and Analysis pages 113--123, 2000.

Digital Library

[15]

J. Hogg. Islands: Aliasing protection in object-oriented languages. In Proc. of the Conference on Object-Oriented Programming Systems, Languages, and Applications pages 271--285, 1991.

Digital Library

[16]

N. Jones and S. Muchnick. Flow analysis and optimization of lisp-like structures. In Program Flow Analysis: Theory and Applications pages 102--131. Prentice Hall, 1979.

[17]

N. Krishnaswami and J. Aldrich. Permission-based ownership: Encapsulating state in higher-order typed languages. In Proc. of the Conference on Programming Language Design and Implementation June 2005.

Digital Library

[18]

W. Landi and B. Ryder. A safe approximate algorithm for interprocedural aliasing. In Proc. of the Conference on Programming Language Design and Implementation pages 235--248, 1992.

Digital Library

[19]

O. Lhotak and L. Hendren. Jedd: a BDD-based relational extension of Java. In Proceedings of the Conference on Programming Language Design and Implementation pages 158--169, 2004.

Digital Library

[20]

D. Liang and M. J. Harrold. Efficient computation of parameterized pointer information for interprocedural analyses. In Proc. of the International Symposium on Static Analysis pages 279--298, 2001.

[21]

D. Liang, M. Pennings, and M. Harrold. Evaluating the precision of static reference analysis using profiling. In Proc. of the International Symposium on Software Testing and Analysis pages 22--32, 2002.

Digital Library

[22]

V. B. Livshits and M. Lam. Tracking pointers with path and context sensitivity for bug detection in C programs. In Proc. of the Symposium on the Foundations of Software Engineering pages 317--326, 2003.

Digital Library

[23]

A. Milanova, A. Rountev, and B. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for Java. In Proc. of the International Symposium on Software Testing and Analysis pages 1--11, 2002.

Digital Library

[24]

N. Minsky. Towards alias-free pointers. In Proc. of the European Conference on Object-Oriented Programming pages 189--209, 1996.

Digital Library

[25]

M. Mock, M. Das, C. Chambers, and S. Eggers. Dynamic points-to sets: A comparison with static analyses and potential applications in program understanding and optimization. In Proc. of the Workshop on Program Analysis for Software Tools and Engineering pages 66--72, 2001.

Digital Library

[26]

M. Naik and A. Aiken. Effective static race detection for Java. In Proc. of the Conference on Programming Language Design and Implementation page to appear, 2006.

Digital Library

[27]

E. Ruf. Context-insensitive alias analysis reconsidered. In Proc. of the Conference on Programming Language Design and Implementation pages 13--22, 1995.

Digital Library

[28]

P. Stocks, B. Ryder, W. Landi, and S. Zhang. Comparing flow and context sensitivity on the modification-side-effects problem. In Proc. of the International Symposium on Software Testing and Analysis pages 21--31, 1998.

Digital Library

[29]

J. Whaley and M. Lam. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In Proc. of the Conference on Programming Language Design and Implementation pages 134--144, 2004.

Digital Library

[30]

J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. Proc. of the Conference on Object Oriented Programming Systems, Languages, and Applications pages 187--206, 1999.

Digital Library

[31]

R. Wilson and M. Lam. Efficient context-sensitive pointer analysis for C programs. In Proc. of the Conference on Programming Language Design and Implementation pages 1--12, 1995.

Digital Library

[32]

Y. Xie and A. Aiken. Scalable error detection using boolean satisfiability. In Proc. of the Symposium on Principles of Programming Languages pages 351--363, January 2005.

Digital Library

Cited By

Guerra EIvo APereira FRobbes RJanes ASilveira F(2024)Impermanent identifiers: Enhanced source code comprehension and refactoringJournal of Systems and Software10.1016/j.jss.2024.112137216(112137)Online publication date: Oct-2024
https://doi.org/10.1016/j.jss.2024.112137
Zhang HDavid CYu YWang M(2023)Ownership Guided C to Rust TranslationComputer Aided Verification10.1007/978-3-031-37709-9_22(459-482)Online publication date: 17-Jul-2023
https://doi.org/10.1007/978-3-031-37709-9_22
Gharat PKhedker UMycroft A(2020)Generalized Points-to GraphsACM Transactions on Programming Languages and Systems10.1145/338209242:2(1-78)Online publication date: 19-May-2020
https://dl.acm.org/doi/10.1145/3382092
Show More Cited By

Index Terms

How is aliasing used in systems software?

Recommendations

Interprocedural aliasing in the presence of pointers
Disjointness domains for fine-grained aliasing
OOPSLA '15

Aliasing is crucial for supporting useful implementation patterns, but it makes reasoning about programs difficult. To deal with this problem, numerous type-based aliasing control mechanisms have been proposed, expressing properties such as uniqueness. ...
Disjointness domains for fine-grained aliasing
OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications

Aliasing is crucial for supporting useful implementation patterns, but it makes reasoning about programs difficult. To deal with this problem, numerous type-based aliasing control mechanisms have been proposed, expressing properties such as uniqueness. ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering

November 2006

298 pages

ISBN:1595934685

DOI:10.1145/1181775

General Chair:
Michal Young
University of Oregon
,
Program Chair:
Premkumar Devanbu
University of California, Davis

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGSOFT06/FSE-14

Sponsor:

SIGSOFT06/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering

November 5 - 11, 2006

Oregon, Portland, USA

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

57
Total Citations
View Citations
520
Total Downloads

Downloads (Last 12 months)19
Downloads (Last 6 weeks)3

Reflects downloads up to 20 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Guerra EIvo APereira FRobbes RJanes ASilveira F(2024)Impermanent identifiers: Enhanced source code comprehension and refactoringJournal of Systems and Software10.1016/j.jss.2024.112137216(112137)Online publication date: Oct-2024
https://doi.org/10.1016/j.jss.2024.112137
Zhang HDavid CYu YWang M(2023)Ownership Guided C to Rust TranslationComputer Aided Verification10.1007/978-3-031-37709-9_22(459-482)Online publication date: 17-Jul-2023
https://doi.org/10.1007/978-3-031-37709-9_22
Gharat PKhedker UMycroft A(2020)Generalized Points-to GraphsACM Transactions on Programming Languages and Systems10.1145/338209242:2(1-78)Online publication date: 19-May-2020
https://dl.acm.org/doi/10.1145/3382092
Yan HChen SSui YZhang YZou CXue J(2019)Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive AnalysisStatic Analysis10.1007/978-3-030-32304-2_4(48-72)Online publication date: 2-Oct-2019
https://doi.org/10.1007/978-3-030-32304-2_4
Jimborean AEkemark PWaern JKaxiras SRos A(2018)Automatic Detection of Large Extended Data-Race-Free Regions with Conflict IsolationIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2017.277150929:3(527-541)Online publication date: 1-Mar-2018
https://doi.org/10.1109/TPDS.2017.2771509
Tran KCarlson TKoukos KSjalander MSpiliopoulos VKaxiras SJimborean A(2018)Static Instruction Scheduling for High Performance on Limited HardwareIEEE Transactions on Computers10.1109/TC.2017.276964167:4(513-527)Online publication date: 1-Apr-2018
https://doi.org/10.1109/TC.2017.2769641
Tran KCarlson TKoukos KSjälander MSpiliopoulos VKaxiras SJimborean AReddi VSmith ATang L(2017)Clairvoyance: look-ahead compile-time schedulingProceedings of the 2017 International Symposium on Code Generation and Optimization10.5555/3049832.3049852(171-184)Online publication date: 4-Feb-2017
https://dl.acm.org/doi/10.5555/3049832.3049852
Burow NCarr SNash JLarsen PFranz MBrunthaler SPayer M(2017)Control-Flow IntegrityACM Computing Surveys10.1145/305492450:1(1-33)Online publication date: 4-Apr-2017
https://dl.acm.org/doi/10.1145/3054924
Anderson DHills M(2017)Query Construction Patterns in PHP2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER.2017.7884652(452-456)Online publication date: Feb-2017
https://doi.org/10.1109/SANER.2017.7884652
Brandauer SWrigstad TGonzalez-Barahona JHindle ATan L(2017)SpencerProceedings of the 14th International Conference on Mining Software Repositories10.1109/MSR.2017.35(113-123)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.1109/MSR.2017.35
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents