Static Analysis

How safe is your Fortran application?

Intel® Inspector XE is often recommended as a great tool for verifying the correctness and security of C++ applications, but it is important to note that this tool works just as well on Fortran and C# programs. If you develop in one of these languages, Intel Inspector XE can be a very valuable tool in your arsenal to help improve software correctness. Intel Inspector XE performs two main types of analysis:

    • Threading analysis detects issues like deadlocks and data races in parallel applications

OpenMP and exceptions

We continue developing our static analyzer VivaMP and now we would like to speak about diagnosing errors relating to using C++ exceptions in parallel regions. By a parallel region we understand a program fragment which is divided into two threads executed parallel. Parallel executed threads are formed by such OpenMP directives as for and sections.

Subscribe to Static Analysis