Checking and inferring local non-aliasing

ACM SIGPLAN Notices

Volumn 38, Issue 5, 2003, Pages 129-140

  Aiken, Alex ^a   Foster, Jeffrey S ^b   Kodumal, John ^a   Terauchi, Tachio ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

Alias analysis; Confine; Constraints; Effect inference; Flow sensitivity; Linux kernel; Locking; Restrict; Type qualifiers; Types

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; SEMANTICS; THEOREM PROVING;

ALIAS ANALYSIS; CONFINE; CONSTRAINT-BASED ALGORITHM; EFFECT INFERENCE; RESTRICT; TYPE CHECKING SYSTEM; TYPE QUALIFIERS;

PROGRAM DIAGNOSTICS;

EID: 1442288804     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780822.781146     Document Type: Conference Paper

References (30)

1. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Department of Computer Science, University of Copenhagen, May 1994.
2. ANSI. Programming Languages - C, 1999. ISO/IEC 9899: 1999.
3. J. Boyland. Alias burying: Unique variables without destructive reads. Software - Practice and Experience, 31(6):533-553, May 2001.
4. C. Calcagno. Stratified Operational Semantics for Safety and Correctness of The Region Calculus. In Proceedings of the 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 155-165, London, United Kingdom, Jan. 2001.
5. D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of Pointers and Structures. In Proceedings of the 1990 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 296-310, White Plains, New York, June 1990.
6. D. Clarke and T. Wrigstad. External Uniqueness. In Proceedings of the 10th International Workshop on Foundations of Object-Oriented Languages, Jan. 2003.
7. M. Das. Unification-based Pointer Analysis with Directional Assignments. In Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 35-46, Vancouver, B.C., Canada, June 2000.
8. M. Das, S. Lerner, and M. Seigle. ESP: Path-Sensitive Program Verification in Polynomial Time. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 57-68, Berlin, Germany, June 2002.
9. R. DeLine and M. Fähndrich. Enforcing High-Level Protocols in Low-Level Software. In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 59-69, Snowbird, Utah, June 2001.
10. M. Emami, R. Ghiya, and L. J. Hendren. Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. In Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 242-256, Orlando, Florida, June 1994.
11. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, Banff, Canada, Oct. 2001.
12. M. Fähndrich and R. DeLine. Adoption and Focus: Practical Linear Types for Imperative Programming. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 13-24, Berlin, Germany, June 2002.
13. J. S. Foster. Type Qualifiers: Lightweight Specifications to Improve Software Quality. PhD thesis, University of California, Berkeley, Dec. 2002.
14. J. S. Foster and A. Aiken. Checking Programmer-Specified Non-Aliasing. Technical Report UCB//CSD-01-1160, University of California, Berkeley, Oct. 2001.
15. J. S. Foster, T. Terauchi, and A. Aiken. Flow-Sensitive Type Qualifiers. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-12, Berlin, Germany, June 2002.
16. D. K. Gifford, P. Jouvelot, J. M. Lucassen, and M. A. Sheldon. FX-87 Reference Manual. Technical Report MIT/LCS/TR-407, MIT Laboratory for Computer Science, Sept. 1987.
17. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System-Specific, Static Analyses. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 69-82, Berlin, Germany, June 2002.
18. N. Heintze and O. Tardieu. Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 254-263, Snowbird, Utah, June 2001.
19. J. Hog. Islands: Aliasing protection in object-oriented languages. In Proceedings of the sixth annual conference on Object-oriented Programming systems, languages, and applications, pages 271-285, Oct. 1991.
20. W. Landi and B. G. Ryder. A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. In Proceedings of the 1992 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 235-248, San Francisco, California, June 1992.
21. D. Liang and M. J. Harrold. Efficient Computation of Parametrized Pointer Information for Interprocedural Analyses. In P. Cousot, editor, Static Analysis, Eighth International Symposium, volume 2126 of Lecture Notes in Computer Science, pages 279-298, Paris, France, July 2001. Springer-Verlag.
22. J. M. Lucassen and D. K. Gifford. Polymorphic Effect Systems. In Proceedings of the 15th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 47-57, San Diego, California, Jan. 1988.
23. N. Minsky. Towards Alias-Free Pointers. In Proceedings of the tenth European Conference on Object Oriented Programming, 1996.
24. J. Rehof and M. Fähndrich. Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-Reachability. In Proceedings of the 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 54-66, London, United Kingdom, Jan. 2001.
25. F. Smith, D. Walker, and G. Morrisett. Alias Types. In G. Smolka, editor, 9th European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 366-381, Berlin, Germany, 2000. Springer-Verlag.
26. B. Steensgaard. Points-to Analysis in Almost Linear Time. In Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32-41, St. Petersburg Beach, Florida, Jan. 1996.
27. M. Tofte and J.-P. Talpin. Implementation of the Typed Call-by-Value λ-Calculus using a Stack of Regions. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 188-201, Portland, Oregon, Jan. 1994.
28. J. Vitek and B. Bokowski. Confined Types. In Proceedings of the fourteenth annual conference on Object-oriented Programming systems, languages, and applications, pages 82-96, Oct. 1999.
29. D. C. Wang and A. W. Appel. Type-Preserving Garbage Collectors. In Proceedings of the 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, United Kingdom, Jan. 2001.
30. R. P. Wilson and M. S. Lam. Efficient Context-Sensitive Pointer Analysis for C Programs. In Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-12, La Jolla, California, June 1995.