| Speakers | |
|---|---|
|
Georg Kienesberger |
| Schedule | |
| Day | Sunday |
| Room | AW1.124 |
| Start time | 12:00 |
| End time | 13:00 |
| Duration | 01:00 |
| Info | |
| 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.