Terug naar de homepage van Forcheck
Forcheck features
Verification of syntax and semantics

  • Analysis of individual program units

    • identifies coding errors and dead code
    • detection of unused, unreferenced, undefined, used before defined, redundantly defined variables
    • detection of not associated pointers and unallocated variables
    • detection of any other unreferenced declared item
    • 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
    • program unit metrics

  • Analysis of the integral program

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

  • 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 and explanations
  • Reporting filename and line number with messages
  • Production of cross-reference tables
  • Production of metrics for each program unit, module procedure and program
  • Generation of a report with messages and program metrics
  • Reference structure (call tree) suited for long, qualified, procedure names
  • Generation of reference structure in XML format for further browsing, analyzing and processing
  • Generation of module dependencies 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
  • Tuning of the output
  • Interfaces stored in library file for later reference
  • Generation of interfaces from source code
Integrated development environment
  • Intuitive usage
  • Project files displayed as a tree
  • View, edit and build from the IDE
  • Analyze groups of files or the complete program
  • 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
  • Browsing of the dependency of modules; expand or collapse each branch at wish
previous page top page
Forcheck
Contact