Many code optimisation and analysis techniques depend on the representation of a program in form of a control flow graph. Ast2Cfg is a library that enables the user to retrieve the control flow graphs for a given Ada program. It uses ASIS to get the abstract syntax tree. The control flow graph is then generated by Ast2Cfg in linear time, during a single inorder traversal of the syntax tree. However, with Ast2Cfg it is not only possible to generate simple CFGs. In fact it is a whole 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.- Documentation
Ast2Cfg is Copyright (c) 2007, 2008, 2009 Raul Fechete, Georg Kienesberger
Ast2Cfg is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version.
Ast2Cfg is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.