Skip to main content
SpringerLink
Log in

Interprocedural Symbolic Evaluation of Ada Programs with Aliases

  • Conference paper
  • First Online:
Book cover Reliable Software Technologies — Ada-Europe’ 99 (Ada-Europe 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1622))

Included in the following conference series:

Abstract

Symbolic Evaluation is a technique aimed at determining dynamic properties of programs. We extend our intraprocedural data-flow framework introduced in [3] to support interprocedural symbolic evaluation. Our data-flow framework utilizes a novel approach based on an array algebra to handle aliases induced by procedure calls. It serves as as a basis for static program analysis (e.g. reaching definitions-, alias analysis, worst-case performance estimations, cache analysis). Examples for reaching definitions- as well as alias analysis are presented.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. V. Aho, R. Seti, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986.

    Google Scholar 

  2. J. Blieberger. Data-flow Frameworks for Worst-Case Execution Time Analysis. (submitted), 1997.

    Google Scholar 

  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.

    Google Scholar 

  4. J. Blieberger, T. Fahringer, and B. Scholz. An Accurate Cache Prediction for C-Programs with Symbolic Evaluation. (submitted), 1999.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  7. M. Haghighat, C. Polychronopoulos. Symbolic Analysis for Parallelizing Compilers. ACM Trans. Prog. Lang. Sys., 18(4):477–518, July 1996.

    Article  Google Scholar 

  8. ISO/IEC 8652. Ada Reference manual, 1995.

    Google Scholar 

  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

    Google Scholar 

  10. G. Ramalingam. The Undecidability of Aliasing. ACM Trans. Prog. Lang. Sys., 16(5):1467–1471, 1994.

    Article  Google Scholar 

  11. V. C. Sreedhar. Effcient Program Analysis Using DJ Graphs. PhD thesis, School of Computer Science, McGill University, Montréal, Québec, Canada, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Computer-Aided Automation (183/1), Technical University Vienna, Treitlstr. 1/4, A-1040, Vienna, Austria

    J. Blieberger & B. Burgstaller

  2. Institute for Software Technology and Parallel Systems, University of Vienna, Leichtensteinerst. 22, A-1090, Vienna, Austria

    B. Scholz

Authors
  1. J. Blieberger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. B. Burgstaller
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. B. Scholz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Facultad de Ciencias, Universidad de Cantabria, Avda. de los Castros s/n, E-39005, Santander, Spain

    Michael González Harbour

  2. ETSI Telecommunicacion, Universidad Politécnica de Madrid, E-28040, Madrid, Spain

    Juan A. de la Puente

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Ve lag Berlin Heidelberg

About this paper

Cite this paper

Blieberger, J., Burgstaller, B., Scholz, B. (1999). Interprocedural Symbolic Evaluation of Ada Programs with Aliases. In: González Harbour, M., de la Puente, J.A. (eds) Reliable Software Technologies — Ada-Europe’ 99. Ada-Europe 1999. Lecture Notes in Computer Science, vol 1622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48753-0_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-48753-0_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66093-4

  • Online ISBN: 978-3-540-48753-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation