Downloads
-
BWAA
Please see the included license details (GPLv3).
BWAA 0.8 -
Ast2Cfg
Please see the included license details (GPLv3).
Ast2Cfg 0.3.2
Ast2Cfg 0.3
Ast2Cfg 0.2
Ast2Cfg 0.1.1 -
Cfg2Dot
Please see the included license details (GPLv3).
Cfg2Dot 0.6.3
Cfg2Dot 0.6.2
Cfg2Dot 0.6.1 -
Ast2Dot
Please see the included license details (GPLv2).
Ast2Dot 0.9.2
Ast2Dot 0.9.1 -
Master's Thesis: Detecting Busy Waiting by Means of Static Control Flow Analysis
Georg Kienesberger. Detecting Busy Waiting by Means of Static Control Flow Analysis. Master's thesis, Vienna University of Technology, Vienna, Austria, July 2009.
Copyright (c) 2009 Georg Kienesberger
Download this thesis from the Vienna University of Technology Library Catalogue -
Paper: A Framework for CFG-based Static Program Analysis of Ada Programs.
Raul Fechete, Georg Kienesberger, and Johann Blieberger. A Framework for CFG-based Static Program Analysis of Ada Programs. In Ada-Europe'2008 International Conference on Reliable Software Technologies, pages 130-143, Venice, Italy, June 2008.
The paper has been published in Reliable Software Technologies - Ada-Europe 2008 which is Volume 5026/2008 of the Lecture Notes in Computer Science series from Springer Berlin/Heidelberg.
Copyright (c) Springer-Verlag Berlin Heidelberg 2008
Download this paper -
Technical Report: Generating Control Flow Graphs for Ada Programs
Copyright (c) 2007, Raul Fechete, Georg Kienesberger
Download the technical report -
Ast2Cfg Presentation Slides FOSDEM'09
Ast2Cfg Presentation Slides FOSDEM'09 by Georg Kienesberger is licensed under a Creative Commons Attribution-Share Alike 3.0 Austria License.
Download the slides