Interprocedural symbolic evaluation of Ada programs with aliases

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

Volumn 1622, Issue , 1999, Pages 136-145

  Blieberger, J ^a   Burgstaller, B ^a   Scholz, B ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF VIENNA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DATA TRANSFER; MODEL CHECKING;

ALIAS ANALYSIS; CACHE ANALYSIS; DYNAMIC PROPERTY; INTER-PROCEDURAL; PROCEDURE CALL; STATIC PROGRAM ANALYSIS; SYMBOLIC EVALUATION; WORST-CASE PERFORMANCE;

ADA (PROGRAMMING LANGUAGE);

EID: 84958592723     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48753-0_12     Document Type: Conference Paper

References (11)

1. A. V. Aho, R. Seti, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986.
2. J. Blieberger. Data-flow Frameworks for Worst-Case Execution Time Analysis. (submitted), 1997.
3. J. Blieberger and B. Burgstaller. Symbolic Reaching Definitions Analysis of Ada Programs. Proceedings of the Ada-Europe International Conference on Reliable Software Technologies, 238-250, June 1998.
4. J. Blieberger, T. Fahringer, and B. Scholz. An Accurate Cache Prediction for C-Programs with Symbolic Evaluation. (submitted), 1999.
5. T. E. Cheatham, G. H. Holloway, and J. A. Townley. Symbolic Evaluation and the Analysis of Programs. IEEE Trans. on Software Engineering, 5(4):403-417, July 1979.
6. J. D. Choi, M. Burke, and P. Carini. Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. ACM PoPL, 1/93:232-245, 1993.
7. M. Haghighat, C. Polychronopoulos. Symbolic Analysis for Parallelizing Compilers. ACM Trans. Prog. Lang. Sys., 18(4):477-518, July 1996.
8. ISO/IEC 8652. Ada Reference manual, 1995.
9. W. Landi, and B. G. Ryder. Pointer-induced Aliasing: A Problem Classification. Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 235-248, 1992
10. G. Ramalingam. The Undecidability of Aliasing. ACM Trans. Prog. Lang. Sys., 16(5):1467-1471, 1994.
11. V. C. Sreedhar. Efficient Program Analysis Using DJ Graphs. PhD thesis, School of Computer Science, McGill University, Montréal, Québec, Canada, 1995.