[mpich-devel] Fwd: [cfe-dev] MPI-Checker - Static Analyzer

[Hal Finkel]

This may be of interest...

 -Hal

----- Forwarded Message -----
> From: "Alexander Droste" <alexander.ra.droste at googlemail.com>
> To: cfe-dev at cs.uiuc.edu
> Sent: Saturday, May 30, 2015 5:34:33 AM
> Subject: [cfe-dev] MPI-Checker - Static Analyzer
> 
> 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.
> 
> Best regards,
> Alex
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory