khb@chiba.Eng.Sun.COM (Keith Bierman - SPD Advanced Languages) (02/21/90)
From the vms group. Note that there is a flint from programming
research limited (01 942 9242 fax 01 336 1151) which some tout highly.
lanl.gov still provides the toolpack stuff for free (via anon ftp).
From: FORCHK@HLERUL53.BITNET ("Jan Joris Vereijken, +31 71 171752")
Newsgroups: comp.os.vms
Subject: CASE tool for FORTRAN
Date: 16 Feb 90 13:44:00 GMT
Organization: The Internet
Some months ago Bob Babcock <PEPRBV@CFAAMP> asked wether there
exists a "lint-like" (UNIX, C) tool for Fortran. Unfortunately
I only got that message a few days ago. Still I think that the
following msg I posted about a year ago is still interesting
to most of you.
Jan Joris Vereijken
FORCHK@HLERUL53.BITNET
------ repost from early 1989 starts here ------
Dear netppl,
Because I have lots of Fortran source to transfer from our old
machines to the new VAX 8200 I needed something to give me some help
in gaining a good insight in the structure of a program. I found
something! People who use Fortran a lot should be real interested
in this. The product is named "FORCHECK" and was developed at our
university.
FORCHECK is a Fortran-77 program development, conversion and
maintenance tool. It checks the syntax, optionally for strict
conformance to the ANSII Fortran-77 standard. Moreover FORCHECK warns
against possible unintentional misusage of the language (e.g. a
variable being not assigned or unreferenced) and constructs
cross-reference tables for labels, constants, variables, referenced
subprograms, common-blocks and external i/o. Type and usage of all
elements are verified and listed.
In addition to this subprogram-analysis FORCHECK performs an static
analysis over the program as a whole, across subprogram boundaries. It
verifies the references of subprograms and their argument lists and
the consistency of common-blocks.
The documentation composed by FORCHECK is compact and especially
useful during program development and maintenance. The reference
structure of all subprograms, the subprogram index and the
cross-reference tables of subprograms, common-blocks, common-block
elements, external i/o and include files, are indispensable whenever
you deal with a program consisting of more than a few subprograms.
FORCHECK features a library facility. All global subprogram
information can be stored in library files. New or changed modules can
be checked using FORCHECK within the context of the total program,
without the need to re-analyze the entire program anew. The
information of new, or changed, modules are added to, or changed in, a
library.
FORCHECK can emulate most syntax options (extensions to the Fortran 77
standard) of the compilers of those systems for which FORCHECK is
available. When you emulate the compiler of the target system with
FORCHECK, you can use the latter as a conversion aid.
FORCHECK is available on PDP11/RSX, VAX/VMS, IBM/MVS, PRIME/PRIMOS,
CONVEX, APOLLO/DOMAIN, and IBM PC/DOS.
Well, that's about it. When you want more information (free demo disk,
booklet) write to:
Leiden University
Physiology Department
Ir. E.W. Kruyt
P.O. box 9604
NL-2300 RC Leiden
The Netherlands
or drop me an Email note.
Good luck,
Jan Joris Vereijken
Leiden University
The Netherlands
FORCHK@HLERUL53.BITNE
--
Keith H. Bierman |*My thoughts are my own. !! kbierman@Eng.Sun.COM
It's Not My Fault | MTS --Only my work belongs to Sun* kbierman%eng@sun.com
I Voted for Bill & | Advanced Languages/Floating Point Group
Opus | "When the going gets Weird .. the Weird turn PRO"
"There is NO defense against the attack of the KILLER MICROS!"
Eugene Brooks