LLACROIX%carleton.edu@RELAY.CS.NET (Les LaCroix) (10/20/86)
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 |