[cfe-dev] MPI-Checker - Static Analyzer

Alexander Droste alexander.ra.droste at googlemail.com
Mon Jun 1 15:50:03 PDT 2015


Hi Dmitri,

On 01.06.15 20:59, Dmitri Gribenko wrote:
> 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
I didn't know about that. Thanks for pointing out!
>
> See also the clang/test/Sema/warn-type-safety* tests.
>
> Dmitri
>
Best regards,
Alex



More information about the cfe-dev mailing list