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