Forcheck 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
 |
|
|
|
| previous page | top page |
| Forcheck
Contact |
|