30 May
2015
30 May
'15
10:57 a.m.
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