Polymorphic versus monomorphic flow-insensitive points-to analysis for C

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1824 LNCS, Issue , 2000, Pages 175-199

  Foster, Jeffrey S ^a   Fähndrich, Manuel ^b   Aiken, Alexander ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

STATIC ANALYSIS; TREES (MATHEMATICS);

ABSTRACT SYNTAX TREES; DESIGN DIMENSIONS; DESIGN POINTS; EXPERIMENTAL ANALYSIS; FUNCTION PARAMETERS; POINTS-TO ANALYSIS;

POLYMORPHISM; STATIC ANALYSIS;

EID: 84906099970     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45099-3_10     Document Type: Conference Paper

References (35)

1. A. Aiken, M. F̈ ahndrich, J. S. Foster, and Z. Su. A Toolkit for Constructin g Type-and Constraint-Based Program Analyses. In X. Leroy and A. Ohori, editors, Proceedings of the second International Workshop on Types in Compilation, volume 1473 of Lecture Notes in Computer Science, pages 78-96, Kyoto, Japan, M ar. 1998. Springer-Verlag
2. A. Aiken and E. L. Wimmers. Solving Systems of Set Constraints. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, pages 329-340, Santa Cruz, California, June 1992
3. A. Aiken and E. L. Wimmers. Type Inclusion Constraints and Type Inference. In FPCA '93 Conference on Functional Programming Languages and Computer Architecture, pages 31-41, Copenhagen, Denmark, June 1993
4. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Department of Computer Science, University of Copenhagen, May 1994
5. M. Burke, P. Carini, J.-D. Choi, and M. Hind. Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. In K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Proceedings of the Seventh Workshop on Languages and Compilers for Parallel Com puting, volume 892 of Lecture Notes in Computer Science, pages 234-250. Springer-Verlag, 1994
6. R. Chatterjee, B. G. Ryder, and W. A. Landi. Relevant Context Inference. In Proceedings of the 26 th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 133-146, San Antonio, Texas, Jan. 1999.
7. M. Das, Unification-based Pointer Analysis with Directional Assignments, In Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver B.C., Canada, June 2000. To appear.
8. S. Debray, R. Muth, and M. Weippert. Alias Analysis of Executa ble Code. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 12-24, San Diego, California, Jan. 1998
9. A. Deutsch. Interprocedural May-Alias A nalysis for Pointers: Beyond k-limiting. In Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 230-241, Orlando, Florida, June 1994
10. N. Dor, M. Rodeh, and M. Sagiv. Detecting Memory Errors via Static Pointer Analysis. In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 27-34, Montreal, Canada, June 1998
11. M. Emami, R. Ghiya, and L. J. Hendren. Context-Sensitive Interprocedural Pointsto Analysis in the Presence of Function Pointers. In Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Desi gn and Implementation, pages 242-256, Orlando, Florida, June 1994
12. M. F̈ ahndrich. BANE: A Library for Scalable Constraint-Based Program Analysis. PhD thesis, University of California, Berkeley, 1999.
13. M. F̈ahndrich and A. Aiken. Program Analysis using Mixed Term and Set Constraints. In P. V. Hentenryck, editor, Static Analysis, Fourth International Symposium, volume 1302 of Lecture Notes in Computer Science, pages 114-126, Paris, France, Sept. 1997. Springer-Verlag
14. M. F̈ ahndrich, J. S. Foster, Z. Su, and A. Aiken. Partial Online Cycle Elimination in Inclusion Constraint Graphs. In Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 85-96, Montreal, Canada, June 1998
15. M. F̈ ahndrich, J. Rehof, and M. Das. Scalable Context-Sensitive Flow An alysis using Instantiation Constraints. In Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver B.C., Canada, June 2000. To appear
16. J. S. Foster, M. F̈ ahndrich, and A. Aiken. Flow-Insensitive Points-to Analysis with Term and Set Constraints. Technical Report UCB//CSD-97-964, University of California, Berkeley, Aug. 1997
17. J. S. Foster, M. F̈ ahndrich, and A. Aiken. Polymorphic versus Monomorphic Flowinsensitive Points-to Analysis for C. Technical report, University of California, Berkeley, Apr. 2000
18. N. Heintze and J. Jaffar. A Decision Procedur e for a Class of Set Constraints. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 42-51, Philadelphia, Pennsylvania, June 1990
19. M. Hind and A. Pioli. Assessing th e Effects of Flow-Sensitivity on Pointer Alias Analyses. In G. Levi, editor, Static Analysis, Fifth International Symposium, volume 1503 of Lecture Notes in Computer Science, pages 57-81, Pisa, Italy, Sept. 1998. Springer-Ve rlag
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. R. Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17:348-375, 1978
22. C. Mossin. Flow Analysis of Typed Higher-Order Programs. PhD thesis, DIKU, Department of Computer Science, University of Copenhagen, 1996
23. R. O'Callahan and D. Jackson. Lackwit: A P rogram Understanding Tool Based on Type Inference. In Proceedings of the 19th International Conference on Software Engineering, pages 338-348, Boston, Massachusetts, May 1997
24. M. Odersky, M. Sulzmann, and M. Wehr. Type Inference with Constrained Types. In B. Pierce, editor, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages, Jan. 1997
25. D. Ŕ emy. Typechecking recor ds and variants in a natural extension of ML. In Proceedings of the 16th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 77-88, Austin, Texas, Jan. 1989
26. E. Ruf. Contex t-Insensitive Alias Analysis Reconsidered. In Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 13-22, La Jolla, California, June 1995
27. M. Sagiv, T. R eps, and R. Wilhelm. Parametric Shape Analysis via 3-Valued Logic. In Proceedings of the 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 105-118, San Antonio, Texas, Jan. 1999
28. M. Shapiro and S. Horwitz. Fast and Accurate Flow-Insensitive Points-To Analysis. In Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-14, Paris, Fran ce, Jan. 1997.
29. B. Steensgaard, Points-to Analysis in Almost Linear Time, Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 32-41, St. Peter sburg Beach, Florida, Jan 1996.
30. Z. Su, M. F̈ ahndrich, and A. Aiken. Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. In Proceedings of the 27th Annual ACM SIGPLAN-SIGACT S ymposium on Principles of Programming Languages, Boston, Massachusetts, Jan. 2000. To appear
31. 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
32. A. K. Wright. Simple Imperative Polymorphism. In Lisp and Symbolic Computation 8, volume 4, pages 343-356, 1995
33. S. H. Yong, S. Horwitz, and T. Reps. Pointer Analysis for Pro grams with Structures and Casting. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 91-103, Atlanta, Georgia, May 1999
34. S. Zhang, B. G. Ryder, and W. A. Landi. Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses. In Fourth Symposium on the Foundations of Software Engineering, Oct. 1996
35. S. Zhang, B. G. Ryder, and W. A . Landi. Experiments with Combined Analysis for Pointer Aliasing. In Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 11-18, Montreal, Canada, June 1998