Correctness Verification

Mission-critical systems globally remain overwhelmingly powered by Fortran and C/C++ code, especially in industries like Climate & Weather, Aerospace & Defense, Nuclear Simulation, Scientific Research, High-Performance Computing (HPC), Energy and Oil & Gas. Consequently, ensuring the correctness of critical Fortran/C/C++ code is a must. Software errors like computational inaccuracies, crashes, or other failures, may lead to significant economic losses or even endanger human safety.

Fortran ranks among the most widely used programming languages according to the TIOBE Index. Thus, it is crucial to equip Fortran developers with more powerful Fortran source code verification tools that enable early detection of subtle correctness issues such as undefined behavior, uninitialized variables, improper initialization of variables, etc. DevOps and DevSecOps best practices recommend conducting systematic testing with multiple compilers and static analyzers, as these tools offer complementary capabilities for early detection of correctness issues.

Codee is the best-in-class static analyzer and source code formatter for Fortran. Our downloadable report shows reproducible technical evidence of how Codee advances the state of the art in correctness verification for Fortran source code, leveraging the Open Catalog for Correctness and including a comparative study with the gfortran compiler and the fortitude static analyzer.