Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!lll-crg!mordor!sri-spam!sri-unix!hplabs!ucbvax!RELAY.CS.NET!LLACROIX%carleton.edu From: LLACROIX%carleton.edu@RELAY.CS.NET (Les LaCroix) Newsgroups: mod.computers.vax Subject: Summary of Fortran-77 Verifiers (LONG) Message-ID: <8611160203.AA06748@ucbvax.Berkeley.EDU> Date: Tue, 11-Nov-86 12:30:00 EST Article-I.D.: ucbvax.8611160203.AA06748 Posted: Tue Nov 11 12:30:00 1986 Date-Received: Sun, 16-Nov-86 02:20:13 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 59 Approved: info-vax@sri-kl.arpa Recently I posted a query for Fortran-77 static analysis tools, in particular something to replace the Bell Labs PFORT Verifier (compatible with ANS FORTRAN (1966)). Here is a summary of the responses I received. First, there was some confusion as to why the /STANDARD=ALL switch on the VAX-11 FORTRAN compiler wasn't good enough. /STANDARD=ALL applies only to single compilation units (subroutines, functions et al). In addition to checking against basic syntax, we also need to check inter- compilation-unit communication via argument lists and usage of COMMON areas. As for programs, I was told of three. We are in the process of collecting info and reviewing each of these three prorgams, so I can't really give you my impressions of any of them yet. The first response I received was from Jon Spear (spearjl@wpafb-fdl.arpa) who writes regarding MAT (Maintainability Analysis Tool) from SAI. He says that it used to be public domain around verion 4 but it is now up to version 11 or 13. I wrote back to Jon asking for more info (like "who is SAI and what is their address"), but I received no response. We were having problems with the net around the time I sent the message, and both outbound and inbound notes could have been lost. (Jon, if you read this, please send info. Thanks) The second response was from Walter Reichenbaecher (xbr1y028%ddathd21.bitnet) regarding a 'PFORT 77' program in the public domain which will be included on the second release of Toolpack/1, distributed by the Numerical Algorithms Group (NAG). He said that this release of Toolpack would be available soon. It sounded like the price was cost of distribution. Here's the address: Numerical Algorithms Group Inc 1101 31st Street, Suite 100 Downers Grove, IL 60515-1263 The final response was from Reidar Conradi regarding his program FORTVER. This product is commericially available from INFOTRON A/S for about $5000 US initial fee with a maintenance contract available. Here are the contact persons listed with the info I received. Note that 'Jorn' should be spelled with an 'o-slash'. Managing director Jorn Skarholt, INFOTRON A/S, Vestre Rosten 88, N-7075 Tiller NORWAY. Tel. +47 7 885011 Professor Reidar Conradi, Division of Computer Science, Norwegian Institute of Technology, N-7034 Trondheim - NTH, NORWAY. Tel. +47 7 593444 Telex no: 55637 NTHAD.N (att.: Databehandling) Arpa-net: conradi%vax.runit.unit.uninett@nta-vax.arpa Thanks to all who responded. -Les (standard disclaimer)