This clang Pass allows to check if the assertions defined in section 6.4.4 of the upcoming MPI standard [MPI19] hold for an application.
Building the Pass with Cmake is quite straightforward:
mkdir build; cd build; cmake ..; make -j 4
You need LLVM/clang version 10.0.
For running the pass, you need an MPI Implementation built with clang (Tested with mpich 3.3.2). For convenience, you can use the 'run.sh' script in order to run the analysis. The Analysis results are printed to the command line.
| [MACH20] | Jammer, Tim and Iwainsky, Christian and Bischof, Christian: Automatic detection of MPI assertions 2020. |
| [MPI19] | Message Passing Interface Forum: MPI: A Message-Passing Interface Standard - 2019 Draft Specification, 2019 |