The DAVE System: A Critique and Guide for Use at the Ballistic Research Laboratory.
Morton A. Hirschberg, Joseph Lacetera, William Buchheister · Defense Technical Information Center (DTIC) · 1978
DAVE is a static program analyzer. That is, DAVE looks at ANSI standard FORTRAN programs of moderate size and provides documentation, analysis, validation and error detection (hence, its well hidden acronym), without executing the program. This paper endeavors to critique the DAVE system in an unbiased fashion. The authors were without prior knowledge of the system before its purchase. It is the authors' conclusion; however, that DAVE represents a useful validation tool for analysis of FORTRAN programs, beyond that initially provided by compiler. (Author)