This may be of interest... -Hal ----- Forwarded Message -----

From: "Alexander Droste" <[email protected]> To: [email protected] 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 [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

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