Safety-and mission-critical software requires developing highquality, 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.
CITATION STYLE
Czarnecki, K., Himsolt, M., Richter, E., Vieweg, F., & Rosskopf, A. (2002). Datafan: A practical approach to data flow analysis for Ada 95. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2361, pp. 231–244). Springer Verlag. https://doi.org/10.1007/3-540-48046-3_18
Mendeley helps you to discover research relevant for your work.