|
| file | MPIBugReporter.cpp [code] |
| | This file defines prefabricated reports which are emitted in case of MPI related bugs, detected by path-sensitive analysis.
|
| |
| file | MPIBugReporter.h [code] |
| | This file defines prefabricated reports which are emitted in case of MPI related bugs, detected by path-sensitive analysis.
|
| |
| file | MPIChecker.cpp [code] |
| | This file defines the main class of MPI-Checker which serves as an entry point.
|
| |
| file | MPIChecker.h [code] |
| | This file defines the main class of MPI-Checker which serves as an entry point.
|
| |
| file | MPIFunctionClassifier.cpp [code] |
| | This file defines functionality to identify and classify MPI functions.
|
| |
| file | MPITypes.h [code] |
| | This file provides definitions to model concepts of MPI.
|
| |