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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element