• 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 in Forcheck V14.3

This new release has many improvements and interesting new features.

The analyzer:

• Full Fortran 2008 support.
• Most intrinsic functions are evaluated to have the result available in constant expressions.
• Improved reference structure (call-tree) and global program cross-references.
• Improved detection of recursive references.
• Improved error handling: continue in scan phase if include file or module not found.
• The time format in listing headers can be chosen, Date and time in listing headers can be suppressed.
• More concise messages and explanations.
• Reporting of module objects that can be declared private.
• cpp preprocessing in combination with include files is now in accordance with e.g. gfortran.

The IDE:

• Enable cpp preprocessing option added.
• Defaults for the generation of a make file can be set.
• Alert that the make file needs to be updated.
• Time format can be selected, date and time in listing headers can be suppressed.

If you have a maintenance agreement you can download the new release free of charge (please contact us for details).

Enhancements in Forcheck V14.2

• Fortran 2008 syntax support and standard conformance extended
• Improved cpp preprocessing: support of parameterized macro expansion
• Reporting of filename and line number with global program messages
• Tuning and formatting the reporting of messages
• Cross-references of public module constants
• Cross-reference of defined operators
• Reporting of unused defined operators
• Semi-automatic verification and updating of include file depencies
• Generation of make file with module and include dependencies
• Support of the latest versions of the Fortran compilers

New V14.1 Features

• Full Fortran 2003 syntax
• Support of many Fortran 2008 features
• Fortran 2008 intrinsic functions
• Intrinsic modules
• Verification of Fortran 2003 and partial 2008 conformance
• New IDE for Windows and Linux

V14.0 Features

• Full F2003 syntax
• Intrinsic functions
• Intrinsic modules
• Verification of conformance

• Detailed, self explanatory messages
• Explanation of the cause of problems

Support of the latest versions of the Fortran compilers

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

Forcheck is available from Polyhedron Software