Directory dependency graph for MPI-Checker:
Files | |
| 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. | |
