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
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Czarnecki, Krzysztof; Himsolt, Michael; Richter, Ernst; Vieweg, Falk; Rosskopf, Alfred: DataFAN: A practical approach to data flow analysis for Ada 95 (2002)