Modular control flow analysis for libraries

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

Volumn 2477, Issue , 2002, Pages 165-179

  Probst, Christian W ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; EMBEDDED SYSTEMS; LIBRARIES; OBJECT ORIENTED PROGRAMMING; PROBLEM ORIENTED LANGUAGES; STATIC ANALYSIS;

CONTROL FLOW ANALYSIS; EFFICIENT ANALYSIS; FLOW-SENSITIVE ANALYSIS; INTER-PROCEDURAL ANALYSIS; METHOD IMPLEMENTATIONS; MODULAR CONTROL; OBJECT ORIENTED; RUN-TIME TYPES;

FLOW GRAPHS;

EID: 84958769068     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45789-5_14     Document Type: Conference Paper

References (20)

1. O. Agesen. The Cartesian Product Algorithm: Simple and Precise Typing of Parametric Polymorphism. In Proceedings of the European Conference on Object-Oriented Programming, pages 2-26, 1995.
2. M. Alt, U. Afimann and H. van Someren. Cosy Compiler Phase Embedding with the CoSy Compiler Model. In Proceedings of the Conference on Compiler Construction, 1994.
3. D. F. Bacon. Fast and Effective Optimization of Statically Typed Object-Oriented Languages. Technical Report CSD-98-1017, University of California, Berkeley, Oct. 1998.
4. R. Chatterjee, B. G. Ryder, and W. Landi. Relevant context inference. In Symposium on Principles of Programming Languages, pages 133-146, 1999.
5. J. Dean, D. Grove and C. Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. Technical Report 01-12-94, Washington University, Dec. 1994.
6. H. Dewes and C. W. Probst. Static Method Call in Java. In Proceedings of the JOSES Workshop, 2001.
7. M. Fahndrich, 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.
8. C. Flanagan and M. Felleisen. Componential set-based analysis. ACM Trans. Programming Languages and Systems, 21(2), pages 370-416, Mar. 1999.
9. D. Genius, U. Afimann, P. Fritzson, H. Sips, R. Kurver, R. Wilhelm, H. Schepers and T. Rindborg. Java and CoSy Technology for Embedded Systems: the JOSES Project. In Proceedings of the Conference on Electronic Commerce, Multimedia, Embedded Systems and Technologies for Business Processes Stockholm, 1999.
10. R. T. Hood and K. Kennedy. A Programming Environment for Fortran. In Proceedings of the 18th Annual Hawaii International Conference on System Sciences, pages 625-637, 1985.
11. F. Martin. Generation of Program Analyzers. Ph.D. Thesis, Universitiat des Saar- landes, 1999.
12. F. Nielson, H. R. Nielson and C. L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
13. C. W. Probst. Flow Sensitive Call Graph Construction For Java. In Proceedings ofthe JOSES Workshop, 2001.
14. C. W. Probst. Control Flow Analysis - An Overview. The JOSES Consortium, 1999.
15. T. Ritzau, M. Beemster, F. Liekweg, C. W. Probst. JOC - The JOSES Compiler Presented at The Embedded Systems Show, London, 2000.
16. 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.
17. A. Rountev and B. G. Ryder. Practical points-to analysis for programs built with libraries. Technical Report 410, Rutgers University, Feb. 2000.
18. Z. Su, M. Fiahndrich and A. Aiken. Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. In Symposium on Principles of Programming Languages, pages 81-95, 2000.
19. V. Sundaresan, L. J. Hendren, C. Razafimahefa, R. Vall'ee-Rai, P. Lam, E. Gagnon and C. Godin. Practical virtual method call resolution for Java. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Application, pages 264-280, 2000.
20. F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Application, pages 281-293, 2000.