clang
17.0.0git
|
#include "MPIChecker.h"
#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicExtent.h"
Go to the source code of this file.
Namespaces | |
clang | |
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.