diff options
| author | Devin Coughlin <dcoughlin@apple.com> | 2016-06-06 16:47:16 +0000 |
|---|---|---|
| committer | Devin Coughlin <dcoughlin@apple.com> | 2016-06-06 16:47:16 +0000 |
| commit | 83ccd1a994b21c8f98fe4b44d56dcba7cea4b5c6 (patch) | |
| tree | 2adcf3e167d066ce19e0126689ba7c7fc4767556 /clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt | |
| parent | cdf34921914fdffb5575f4820b8754b60b38a980 (diff) | |
| download | bcm5719-llvm-83ccd1a994b21c8f98fe4b44d56dcba7cea4b5c6.tar.gz bcm5719-llvm-83ccd1a994b21c8f98fe4b44d56dcba7cea4b5c6.zip | |
[analyzer] Add checker for correct usage of MPI API in C and C++.
This commit adds a static analysis checker to check for the correct usage of the
MPI API in C and C++.
3 path-sensitive checks are included:
- Double nonblocking: Double request usage by nonblocking calls
without intermediate wait.
- Missing wait: Nonblocking call without matching wait.
- Unmatched wait: Waiting for a request that was never used by a
nonblocking call.
Examples of how to use the checker can be found
at https://github.com/0ax1/MPI-Checker
Reviewers: zaks.anna
A patch by Alexander Droste!
Differential Revision: http://reviews.llvm.org/D12761
llvm-svn: 271907
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt b/clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt index 479030d8899..62ccc3cb497 100644 --- a/clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt +++ b/clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt @@ -41,6 +41,9 @@ add_clang_library(clangStaticAnalyzerCheckers MallocChecker.cpp MallocOverflowSecurityChecker.cpp MallocSizeofChecker.cpp + MPI-Checker/MPIBugReporter.cpp + MPI-Checker/MPIChecker.cpp + MPI-Checker/MPIFunctionClassifier.cpp NSAutoreleasePoolChecker.cpp NSErrorChecker.cpp NoReturnFunctionChecker.cpp |
