[cfe-dev] MPI-Checker - Static Analyzer

Renato Golin renato.golin at linaro.org
Sat May 30 09:09:28 PDT 2015

On 30 May 2015 at 16:35, Hal Finkel <hfinkel at anl.gov> wrote:
> Thanks for posting this! If you're willing to go through the code review process (which might include breaking it into pieces), and Ted, et al., agree, I'd love to see this functionality upstream. Not only may it be great example code (I'll let Ted and Anna make that determination), but MPI is *the* critical interface for almost all large-scale parallel scientific programming, and the potential audience for this checker is sizable. I'm certainly willing to help with the code review as well.


I think it should go in with the other checkers. MPI is really
critical to science, defence, climate models, etc. It would be good to
have some tools to go with.

Would this be in clang-tools-extra? Or clang-tools itself?


More information about the cfe-dev mailing list