Points-to and side-effect analyses for programs built with precompiled libraries

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

Volumn 2027, Issue , 2001, Pages 20-36

  Rountev, Atanas ^a   Ryder, Barbara G ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEPARATION; SOFTWARE ENGINEERING;

LIBRARY MODULES; MODULAR DEVELOPMENT; POINTS-TO ANALYSIS; SEPARATE ANALYSIS; SIDE-EFFECT ANALYSIS; SOFTWARE PRODUCTIVITY; TARGET ANALYSIS; WHOLE-PROGRAM ANALYSIS;

PROGRAM COMPILERS;

EID: 84958986994     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45306-7_3     Document Type: Conference Paper

References (21)

1. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, 1994.
2. R. Chatterjee, B. G. Ryder, and W. Landi. Relevant context inference. In Symposium on Principles of Programming Languages, pages 133-146, 1999.
3. B. Cheng and W. Hwu. Modular interprocedural pointer analysis using access paths. In Conference on Programming Language Design and Implementation, pages 57-69, 2000.
4. J. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. Escape analysis for Java. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 1-19, 1999.
5. M. Das. Unification-based pointer analysis with directional assignments. In Conference on Programming Language Design and Implementation, pages 35-46, 2000.
6. M. Fähndrich, J. Foster, Z. Su, and A. Aiken. Partial online cycle elimination in inclusion constraint graphs. In Conference on Programming Language Design and Implementation, pages 85-96, 1998.
7. C. Flanagan and M. Felleisen. Componential set-based analysis. ACM Trans. Programming Languages and Systems, 21(2):370-416, Mar. 1999.
8. S. Guyer and C. Lin. Optimizing the use of high performance software libraries. In Workshop on Languages and Compilers for Parallel Computing, 2000.
9. M. J. Harrold and G. Rothermel. Separate computation of alias information for reuse. IEEE Trans. Software Engineering, 22(7):442-460, July 1996.
10. M. Hind and A. Pioli. Which pointer analysis should I use? In International Symposium on Software Testing and Analysis, pages 113-123, 2000.
11. A. Rountev and S. Chandra. Off-line variable substitution for scaling points-to analysis. In Conference on Programming Language Design and Implementation, pages 47-56, 2000.
12. A. Rountev and B. G. Ryder. Points-to and side-effect analyses for programs built with precompiled libraries. Technical Report 423, Rutgers University, Oct. 2000.
13. A. Rountev and B. G. Ryder. Practical points-to analysis for programs built with libraries. Technical Report 410, Rutgers University, Feb. 2000.
14. A. Rountev, B. G. Ryder, and W. Landi. Data-flow analysis of program fragments. In Symposium on the Foundations of Software Engineering, LNCS 1687, 1999.
15. B. G. Ryder, W. Landi, P. Stocks, S. Zhang, and R. Altucher. A schema for interprocedural side effect analysis with pointer aliasing. Technical Report 336, Rutgers University, May 1998. To appear in ACM TOPLAS.
16. M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. In Static Analysis Symposium, LNCS 1302, pages 16-34, 1997.
17. M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-to analysis. In Symposium on Principles of Programming Languages, pages 1-14, 1997.
18. B. Steensgaard. Points-to analysis in almost linear time. In Symposium on Principles of Programming Languages, pages 32-41, 1996.
19. P. Sweeney and F. Tip. Extracting library-based object-oriented applications. In Symposium on the Foundations of Software Engineering, pages 98-107, 2000.
20. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 187-206, 1999.
21. S. Zhang, B. G. Ryder, and W. Landi. Program decomposition for pointer aliasing: A step towards practical analyses. In Symposium on the of Software Engineering, pages 81-92, 1996.