@conference {82, title = {DataFAN: A Practical Approach to Data Flow Analysis for Ada 95}, booktitle = {Reliable Software Technologies {\textemdash} Ada-Europe 2002}, volume = {2361}, year = {2002}, pages = {231 - 244}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, edition = {Lecture Notes in Computer Science}, address = {Vienna, Austria}, abstract = {Safety- and mission-critical software requires developing high- quality, reliable code. Static analysis tools have been proposed to assist developers in the early detection of critical errors and achieving a better code quality. In this paper, we present a set of practical requirements for the industrial use of such tools and report on the development of DataFAN, a data-flow analysis tool satisfying these requirements.}, isbn = {978-3-540-43784-0}, doi = {10.1007/3-540-48046-3_18}, url = {http://www.springerlink.com/content/f86h2pyb16l7dp97/fulltext.pdf}, author = {Krzysztof Czarnecki and Himsolt, Michael and Richter, Ernst}, editor = {Blieberger, Johann and Strohmeier, Alfred} }