Sciweavers

Share
ADAEUROPE
2008
Springer

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

9 years 2 months ago
A Framework for CFG-Based Static Program Analysis of Ada Programs
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.
Raul Fechete, Georg Kienesberger, Johann Blieberge
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where ADAEUROPE
Authors Raul Fechete, Georg Kienesberger, Johann Blieberger
Comments (0)
books