Das Software-Tool zur MPI-Korrektheitsanalyse MUST wird am IT Center der RWTH Aachen in Kooperation mit der TU Darmstadt und dem Lawrence Livermore National Laboratory (LLNL) entwickelt. MUST erkennt zur Laufzeit einer MPI-Anwendung viele typische Programmierfehler wie beispielsweise Deadlocks, Typenkonflikte oder MPI-Ressourcenlecks. Im aktuellen MUST-Release wurde eine Erkennung von Data Races im Zusammenhang mit MPI-Funktionsaufrufen ergänzt. Hierfür wird eine Schnittstelle des Race-Detektors ThreadSanitizer genutzt. Darüber hinaus kann MUST nun Typ-Inkonsistenzen von Kommunikationspuffern bezogen auf den angegebenen MPI-Datentypen erkennen. Dafür greift MUST auf das an der TU Darmstadt entwickelte TypeART zurück. Weitere neue Funktionen umfassen das Filtern bekannter Fehler und Konfigurationsmöglichkeiten bei der Ausgabe der Ereignisprotokolle. MUST ist als Open-Source-Projekt öffentlich verfügbar unter: itc.rwth-aachen.de/must/