S E S P

Forcheck - Leiden University

The Software
Engineering Group

Computational Science & Engineering
CLRC Rutherford Appleton Laboratory

Forcheck is ideally suited to get a fast insight in existing and legacy programs. It composes optimal documentation of your project with cross-reference tables of each program unit, the complete program and produces a call-tree. Forcheck can be used as a software engineering tool in the various stages of the development process and can verify the conformance to each level of the Fortran standard. Beside the full Fortran syntax Forcheck supports many language extensions of all popular compilers.

Forcheck is fully configurable so you can tune the analysis and output to your needs. You can store the global information of the analyzed program units in libraries and reference these libraries in subsequent Forcheck runs to verify the consistency of all references and common-blocks.

Forcheck is very suitable as a cross-platform development tool. It is available on many platforms from PC to supercomputer and supports most Fortran language extensions of all popular compilers on each platform.

Forcheck features

• Performs a full static analysis of an entire Fortran program or a separate analysis of one or more program units.
• 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 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.
• Is suitable for small and large projects.
• Can verify the conformance to the various levels of the Fortran standard. 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.
• 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 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 syntax extensions of all popular compilers.
• Is sold with full guarantee and support.
• Is in use at many sites. Look what users say about FORCHECK !

URL: http://www.forcheck.nl