FOSDEM '09 is a free and non-commercial event organized by the community, for the community. Its goal is to provide Free and Open Source developers a place to meet.

Georg Kienesberger
Day Sunday
Room AW1.124
Start time 12:00
End time 13:00
Duration 01:00
Event type Podium
Track Ada
Language English
Ast2Cfg - A Framework for CFG-Based Analysis and Visualisation of Ada Programs

The control flow graph is the basis for many code optimisation and analysis techniques. Ast2Cfg is a Free Software 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.

Ast2Cfg was developed exclusively with Free Software like GNAT, the GNU Ada Compiler, and ASIS-for-GNAT. This presentation gives an overview on how to use the Ast2Cfg framework, and includes basics on the used data structures, an introduction to the architecture and a thorough coverage of the programming interface with numerous examples.