MPI-Checker Directory Reference

Directory dependency graph for MPI-Checker:

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