• is the oldest and most comprehensive Fortran verifier on the market. It performs a full static analysis of an entire Fortran program or a separate analysis of one or more subprograms.
• detects more anomalies in your program than the compiler. Because it locates bugs as early in the development phase as possible, it saves you time and helps you to produce more reliable programs.
• is ideally suited to get a fast insight in existing and legacy programs. It composes optimal documentation with a call-tree and cross-reference tables both on the program-unit as on the program level.
• can be used as a software engineering tool in the various stages of the development process.
• can verify the conformance to the Fortran standards. Moreover it supports many language extensions of all popular compilers. FORCHECK is fully configurable so you can tune the analysis and output to your needs.
• can store the global information of the analyzed program-units in libraries. You can reference these libraries in subsequent FORCHECK runs to verify the consistency of all references and common-blocks.
• is very suitable as a cross-platform development tool.
• is available on many platforms from PC to supercomputer. It supports most Fortran extensions of all popular compilers.
• is sold with full guarantee and support.
• is in use at many sites.

New - Version 13.7

V13.7 Features

• Support of more Fortran 2003 features
• Updated compiler emulation files for support of new compiler releases
• Improved lay-out of listing files (no Fortran control characters anymore)
• Default freeform for .f90 source files
• More space for large cross-reference tables
• Many improvements and bug fixes since the previous release
• Extended browser facilities and option handling in the Windows IDE
• More instructive messages

Please note that from this version only Windows (commandline and IDE and Linux (onX86) are supported.

V13 Features

Improved verification of syntax and semantics

• Improved handling of Fortran 90/95 features and conformance verification, such as
  • comparison of nested imported derived types
  • pointer components
  • generic names and resolving generic procedures
  • improved support of nested interfaces
  • improved verification of consistency of interfaces
  • renamed intrinsic procedures
  • verification of constant and initialization expressions
• Improved handling of legacy Fortran syntax
  • Improved account for equivalences
  • Detection of defined and referenced depending on data types, including the usage as actual argument
  • Improved verification of constraints of statement functions
  • Improved verification of type and type parameters of entries
• Improved verification of procedure references and argument lists
  • Procedure references and argument lists are now verified locally if the interface is explicit
• Support for names up to 64 characters long

Improved tuning and software engineering facilities

• Selective suppression of diagnostic messages using Forcheck directives
• Support of more Fortran 95 compilers
• Support of Compaq Visual Fortran conditional meta commands for simple expressions
• Improved reporting
  • Self explanatory messages
  • Verbose messages
  • Reporting filename and line number with messages
  • Generation of report file
  • Reference structure suited for long, qualified, procedure names
  • Generation of reference structure in XML format for further browsing, analyzing and processing

New Windows IDE

• Intuitive usage
• Project files displayed as a tree
• More windows can be open to view output and edit source files concurrently
• Jump to the correct location in the source file by double clicking on the diagnostic message
• Report file stored for later referencing
• Browsing of the reference structure (call tree); expand or collapse each branch at wish

Follow this link to Leiden University's Web Site.

Forcheck is available from Polyhedron Software