Forcheck

Key Features

Verification of syntax and semantics
Analysis of separate program units

• identifies coding errors and dead code
• detection of unreferenced, undefined, used before defined, redundantly defined, etc. variables
• verification of procedure references and arguments
• flagging of unused include files, referenced modules and common blocks
• identification of obsolescent Fortran syntax
• detection of non-portable code

Analysis of the integral program

• verification of procedure references and argument lists
• verification of common blocks and detection of inconsistent usage
• detection of unused, undefined and unreferenced common block objects
• detection of unused public module variables

Handling of new Fortran features and conformance verification, such as

• comparison of nested imported derived types
• generic names and resolving generic procedures
• nested interfaces
• verification of consistency of interfaces
• intrinsic procedures
• verification of constant and initialization expressions
• detection of impure procedures and recursion

Optimal analysis of legacy Fortran syntax

• account for equivalences
• detection of defined and referenced, depending on data types, including the usage as actual argument
• verification of constraints of statement functions
• verification of type and type parameters of entries

Reporting and documenting

• Self explanatory messages
• Verbose messages
• Reporting filename and line number with messages
• Production of cross-reference tables
• Generation of report with messages and metrics
• Reference structure (call tree) suited for long, qualified, procedure names
• Generation of reference structure in XML format for further browsing, analyzing and processing

Tuning and software engineering facilities

• Easy adaption to used compiler
• Selective suppression of diagnostic messages using Forcheck directives
• Many options to customize the analysis and output
• Interfaces stored in library file for later reference
• Generation of interfaces from source code

Overview

A list of Forcheck features:

• Performs a full static analysis of separate program units, groups of program units, or integral Fortran programs.
• 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 code.
• Is a reverse engineering tool to get a fast insight in existing and legacy programs.
• Composes optimal documentation: cross-reference tables for each program unit, cross-reference tables for the program, call trees, callby trees and USE trees.
• Is a software engineering tool in the various stages of the development process.
• Is suitable for very small up to extremely large projects.
• Can verify the conformance to the various levels of the Fortran standard and supports many language extensions of all popular compilers.
• FORCHECK is fully configurable. You can tune the analysis and output to your needs.
• Stores the global information of the analyzed program-units in libraries which can be referenced in subsequent FORCHECK runs to verify the consistency of all references, common-blocks and modules.
• Is very suitable as a cross-platform development tool in a multi-platform environment.
• Is available for Windows, Linux and unix. It supports most Fortran language extensions of all popular compilers.
• Provided with an intuitive IDE for Windows.
• Is sold with full guarantee and support.
• Is in use at many sites.

New Releases

Forcheck V14
Full support of Fortran 2003

• Full Fortran 2003 syntax
• Fortran 2003 intrinsic functions
• Fortran 2003 intrinsic modules
• Verification of Fortran 2003 conformance

Improved reporting

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

Support of the latest versions of the Fortran compilers

Download

Prices

How to order Forcheck?

1. Online Order Gateway
2. By Phone (Call 613-368-4300)

For pricing inquiries, contact info@codework-solutions.com.