|
clang
5.0.0
|
This file defines the main class of MPI-Checker which serves as an entry point. More...
Go to the source code of this file.
Namespaces | |
| clang | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| clang::ento | |
| clang::ento::mpi | |
This file defines the main class of MPI-Checker which serves as an entry point.
It is created once for each translation unit analysed. The checker defines path-sensitive checks, to verify correct usage of the MPI API.
Definition in file MPIChecker.cpp.
1.8.6