[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
mismatches:

http://clang.llvm.org/docs/AttributeReference.html#type-safety-checking

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

Dmitri

-- 
main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/



More information about the cfe-dev mailing list