Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Principles of Program Analysis
Principles of Program Analysis
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
ASIS for GNAT: From the Prototype to the Full Implementation
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
A Novel Probabilistic Data Flow Framework
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Hi-index | 0.00 |
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.