Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!nike!ucbcad!ucbvax!RELAY.CS.NET!LLACROIX%carleton.edu
From: LLACROIX%carleton.edu@RELAY.CS.NET (Les LaCroix)
Newsgroups: mod.computers.vax
Subject: Fortran 77 verifier
Message-ID: <8610220656.AA07137@ucbvax.Berkeley.EDU>
Date: Mon, 20-Oct-86 14:39:00 EDT
Article-I.D.: ucbvax.8610220656.AA07137
Posted: Mon Oct 20 14:39:00 1986
Date-Received: Wed, 22-Oct-86 22:34:10 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 27
Approved: info-vax@sri-kl.arpa

I have used a version of Bell Labs' PFORT Verifier which checks programs
against a very portable subset of ANS FORTRAN (1966).  It is a static
analyzer which checks for errors or unsafe practices within single
program units and also in the communication between program units
(argument lists and COMMON usage).  Now I am looking for something
similar for Fortran-77.

Does anyone know if the PFORT Verifier (and hence the PFORT subset)
has been updated to include Fortran-77 constructs, or if alternate
verifiers exist?  Ideally I need to run the verifier on several
different host systems, including VAX/VMS and (IBM) VM/CMS.
I'd consider most anything, including

	- public domain with sources
	- a commercial product available on one or both of the
	  above systems
	- a product whose source can be licensed (so that conversion
	  for multiple hosts can be done locally).

Any information (including experiences) will be welcome.  Please
respond directly to me: I'll summarize and post if I receive any
interesting responses.

Les LaCroix                |   csnet:  llacroix@carleton.edu
SPSS, Inc.                 |   uucp:   ...{ihnp4,decvax}!stolaf!ccnfld!llacroix
402 Washington Street      |
Northfield, MN 55057-2027  |