A Framework for CFG-Based Static Program Analysis of Ada Programs

  • Raul Fechete
  • Georg Kienesberger
  • Johann Blieberger
Conference paper

DOI: 10.1007/978-3-540-68624-8_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5026)
Cite this paper as:
Fechete R., Kienesberger G., Blieberger J. (2008) A Framework for CFG-Based Static Program Analysis of Ada Programs. In: Kordon F., Vardanega T. (eds) Reliable Software Technologies – Ada-Europe 2008. Ada-Europe 2008. Lecture Notes in Computer Science, vol 5026. Springer, Berlin, Heidelberg

Abstract

The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based representations of arbitrary Ada programs. The generated data holds extensive information about the original Ada source, such as visibility, package structure and type definitions and provides means for complete interprocedural analysis. We use ASIS-for-GNAT as an interface to the Ada environment and extract the needed information in a single traversal of the provided syntax trees. In addition, further refinement of the resulting data structures is done.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Raul Fechete
    • 1
  • Georg Kienesberger
    • 1
  • Johann Blieberger
    • 1
  1. 1.Institute for Computer-Aided AutomationTU ViennaViennaAustria

Personalised recommendations