clang 19.0.0git
MPI-Checker Directory Reference
Directory dependency graph for MPI-Checker:
lib/StaticAnalyzer/Checkers/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.