Re: [OMPI devel] COVERITY STATIC SOURCE CODE ANALYSIS

2007-07-27 Thread Jeff Squyres
It's been finalized: Coverity has formally joined the Open MPI Project as a Partner (OMPI web page updates will come soon). They will be running the Open MPI source code base through their tools on a regular basis and making the results available to Members of the Open MPI project. The s

Re: [OMPI devel] COVERITY STATIC SOURCE CODE ANALYSIS

2007-07-19 Thread Jeff Squyres
Yes, we have (someone else brought it to our attention a few months ago). :-) Hopefully we'll have more news on this front in the not-distant future. On Jul 19, 2007, at 9:07 PM, Lisandro Dalcin wrote: Have any of you ever consider asking OpenMPI being included here, as it is an open sourc

[OMPI devel] COVERITY STATIC SOURCE CODE ANALYSIS

2007-07-19 Thread Lisandro Dalcin
Have any of you ever consider asking OpenMPI being included here, as it is an open source project? http://scan.coverity.com/index.html From many sources (mainly related to Python), it seems the results are impressive. Regards, -- Lisandro Dalcín --- Centro Internacional de Método