Client-driven pointer analysis

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

Volumn 2694, Issue , 2003, Pages 214-236

  Guyer, Samuel Z ^a   Lin, Calvin ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); STATIC ANALYSIS;

C PROGRAMS; CLIENT-DRIVEN APPROACH; DETECTION PROBLEMS; FIXED-PRECISION ALGORITHMS; INPUT PROGRAMS; POINTER ANALYSIS;

ALGORITHMS;

EID: 21144458262     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44898-5_12     Document Type: Article

References (23)

1. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, University of Copenhagen, DIKU, DIKU report 94/19, 1994.
2. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In International SPIN Workshop on Model Checking of Software, May 2001.
3. D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of pointers and structures. ACM SIGPLAN Notices, 25(6):296-310, June 1990.
4. R. Cytron, J. Ferrante, B. K. Rosen, M. K. Wegman, and F. K. Zadeck. An efficient method of computing static single assignment form. In 16th Annual ACM Symposium on Principles of Programming Languages, pages 25-35, 1989.
5. M. Das, S. Lerner, and M. Seigle. ESP: path-sensitive program verification in polynomial time. In ACM SIGPLAN Conference on Programming Language Design and Implementation, volume 37, 5, pages 57-68, 2002.
6. A. Diwan, K. S. McKinley, and J. E. B. Moss. Using types to analyze and optimize object-oriented programs. ACM Transactions on Programming Languages and Systems, 23, 2001.
7. J. S. Foster, M. Fahndrich, and A. Aiken. Polymorphic versus monomorphic flow-insensitive points-to analysis for C. In Static Analysis Symposium, pages 175-198, 2000.
8. J. S. Foster, T. Terauchi, and A. Aiken. Flow-sensitive type qualifiers. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, volume 37 (5) of ACM SIGPLAN Notices, pages 1-12, 2002.
9. S. Z. Guyer and C. Lin. An annotation language for optimizing software libraries. In Second Conference on Domain Specific Languages, pages 39-52, October 1999.
10. S. Z. Guyer and C. Lin. Optimizing the use of high performance software libraries. In Languages and Compilers for Parallel Computing, pages 221-238, August 2000.
11. N. Heintze and O. Tardieu. Demand-driven pointer analysis. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 24-34, 2001.
12. M. Hind. Pointer analysis: Haven't we solved this problem yet? In Proceedings of the 2001 ACM SIGPLAN - SIGSOFT Workshop on Program Analysis for Software Tools and Engeneering (PASTE-01), pages 54-61, 2001.
13. M. Hind and A. Pioli. Evaluating the effectiveness of pointer alias analyses. Science of Computer Programming, 39(1):31-55, January 2001.
14. S. Horwitz, T. Reps, and M. Sagiv. Demand Interprocedural Dataflow Analysis. In Proceedings of SIGSOFT'95 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 104-115, October 1995.
15. J. Plevyak and A. A. Chien. Precise concrete type inference for object-oriented languages. ACM SIGPLAN Notices, 29(10):324-324, October 1994.
16. E. Ruf. Context-insensitive alias analysis reconsidered. In SIGPLAN Conference on Programming Language Design and Implementation, pages 13-22, 1995.
17. U. Shankar, K. Talwar, J. S. Foster, and D. Wagner. Detecting format string vulnerabilities with type qualifiers. In Proceedings of the 10th USENIX Security Symposium, 2001.
18. M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. Lecture Notes in Computer Science, 1302, 1997.
19. P. Stocks, B. G. Ryder, W. Landi, and S. Zhang. Comparing flow and context sensitivity on the modification-side-effects problem. In International Symposium on Software Testing and Analysis, pages 21-31, 1998.
20. R. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliabiity. IEEE Transactions on Software Engineering, 12(1):157-171, 1986.
21. rd Edition. O'Reilly, July 2000.
22. R. P. Wilson and M. S. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation, pages 1-12, 1995.
23. S. Zhang, B. G. Ryder, and W. A. Landi. Experiments with combined analysis for pointer aliasing. ACM SIGPLAN Notices, 33(7):11-18, July 1998.