clang  15.0.0git
Classes | Namespaces
MPIChecker.h File Reference
#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.


class  clang::ento::mpi::MPIChecker



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.