Jeff Squyres, le Tue 08 Mar 2011 17:58:05 +0100, a écrit : > Scan is a static source code analysis tool that finds things like resource > leaks, dead code, insecure coding, ...and a huge number of other problems. > It's surprisingly good at what it does. > > Coverity provides Scan results to Open MPI on a "partnership" basis; we like > their tool a lot (although we don't use it nearly as much as we should :-\ ). > I don't know if hwloc would fall under the same agreements we have with > Coverity or whether we just enroll hwloc as a "normal" open source project, > but I could find out, if we're interested.
I believe we are. Samuel
