Alex, Do you have a paper on the tool we could look at?
Thanks S -- Si Hammond Scalable Computer Architectures Sandia National Laboratories, NM [Sent remotely, please excuse typing errors] ________________________________ From: users <users-boun...@open-mpi.org> on behalf of Alexander Droste <alexander.ra.dro...@googlemail.com> Sent: Saturday, May 30, 2015 5:47:36 AM To: us...@open-mpi.org Subject: [EXTERNAL] [OMPI users] 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. I'd be exited to get any kind of feedback. Best regards, Alex _______________________________________________ users mailing list us...@open-mpi.org Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/users Link to this post: http://www.open-mpi.org/community/lists/users/2015/05/27000.php