[cfe-dev] MPI-Checker - Static Analyzer

Dmitri Gribenko gribozavr at gmail.com
Mon Jun 1 11:59:37 PDT 2015

On Sat, May 30, 2015 at 3:34 AM, Alexander Droste
<alexander.ra.droste at googlemail.com> wrote:
> Hi everyone,
> I've written a Static Analyzer Checker for MPI code
> which is published on GitHub https://github.com/0ax1/MPI-Checker.
> Aside from those wanting to analyze their MPI code maybe this could also be
> useful for people starting to write their own checker.

It would be a great addition to the static analyzer.

Regarding the checks, Clang already can check buffer type and type tag


See also the clang/test/Sema/warn-type-safety* tests.


(j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/

More information about the cfe-dev mailing list