DataFAN: A Practical Approach to Data Flow Analysis for Ada 95

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.