trh@ukc.UUCP (06/14/84)
As far as I know there is no such program currently available for f77
which does as good a job as pfort.
The closest thing that is up and running (I've seen a demo) is called the
Fortran Auditor. This is marketed by SOFTOOL CORPORATION, 340 South Kellogg
Avenue, Goleta, California 93117 (Tel: [805] 964 0560 Telex: 658 334).
It is expensive and I don't think it runs under UNIX ( but check if you're
interested). It is part of a collection of tools called the Programming
Environment but can be purchased separately.
There is another possibility if you're willing to wait. TOOLPACK is a
project aimed at producing a fully integrated toolkit for the development
and maintainance of Fortran software and was supposed to contain a verifier.
The first release ( scheduled for late summer 1984 ) WONT but one is under
development and should follow in a later release. The first release
will contain a number of useful tools e.g. pretty printer, probably an
interactive debugger, static and dynamic analyzers etc. It will also
contain a lot of useful bits and pieces to aid f77 tool writers like
tokenizers, symbol table generators etc.
The good news is that TOOLPACK will be public domain and will be obtainable
for a small handling charge. For more details of release dates, costs etc.
contact :
Steve Hague,
NAG Central Office,
Mayfield House,
256 Banbury Road,
Oxford, OX2 7DE
U.K.
Tel: (0865) 511245
Int: + 44 865 511245
Telex : 83354 NAG UK G
Oh, by the way the whole lots written in f77 except for a few m/c dependent
routines, although for efficiency reasons you may need to rewrite a few
bits.
Tim Hopkins,
Computing Laboratory,
University of Kent,
Canterbury CT2 7NF
Kent
U.K.
{ trh@ukc.UUCP }