Hi everyone, I've written a Static Analyzer Checker for MPI code which is published on GitHub https://github.com/0ax1/MPI-Checker. Aside from those wanting to analyze their MPI code maybe this could also be useful for people starting to write their own checker. Best regards, Alex