diff options
| author | Devin Coughlin <dcoughlin@apple.com> | 2016-06-13 03:22:41 +0000 |
|---|---|---|
| committer | Devin Coughlin <dcoughlin@apple.com> | 2016-06-13 03:22:41 +0000 |
| commit | 160f19cddaebb38a93f6528336c57ef20dd529e6 (patch) | |
| tree | ea2e080b5881e6cd00d3c6b3808b563f2a71bf50 /llvm/lib/Target/ARM/Disassembler/ARMDisassembler.cpp | |
| parent | 13cf7cac075970c8b7b5c079ff08eccae0ec3563 (diff) | |
| download | llvm-160f19cddaebb38a93f6528336c57ef20dd529e6.zip llvm-160f19cddaebb38a93f6528336c57ef20dd529e6.tar.gz llvm-160f19cddaebb38a93f6528336c57ef20dd529e6.tar.bz2 | |
[analyzer] Add checker to verify the correct usage of the MPI API
This commit adds a static analysis checker to verify the correct usage of the MPI API in C
and C++. This version updates the reverted r271981 to fix a memory corruption found by the
ASan bots.
Three 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
A patch by Alexander Droste!
Reviewers: zaks.anna, dcoughlin
Differential Revision: http://reviews.llvm.org/D21081
llvm-svn: 272529
Diffstat (limited to 'llvm/lib/Target/ARM/Disassembler/ARMDisassembler.cpp')
0 files changed, 0 insertions, 0 deletions