This file defines the main class of MPI-Checker which serves as an entry point. More...
#include "MPIBugReporter.h"#include "MPITypes.h"#include "clang/StaticAnalyzer/Checkers/MPIFunctionClassifier.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
Include dependency graph for MPIChecker.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | clang::ento::mpi::MPIChecker |
Namespaces | |
| clang | |
| Dataflow Directional Tag Classes. | |
| clang::ento | |
| clang::ento::mpi | |
Detailed Description
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.h.
