Re: [hwloc-devel] Coverity

2015-02-14 Thread Jeff Squyres (jsquyres) 
On Feb 14, 2015, at 8:57 AM, Brice Goglin  wrote:
>> Brice: do you have a nightly coverity submission script running somewhere?
> 
> No, I just run it manually from time to time.

Do you want it to run automated?  We can run the script at IU.

-- 
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to: 
http://www.cisco.com/web/about/doing_business/legal/cri/

Re: [hwloc-devel] Coverity

2015-02-14 Thread Brice Goglin 
Le 14/02/2015 14:44, Jeff Squyres (jsquyres) a écrit :
> I added a bunch of components into the hwloc coverity setup, as well as a 
> dummy model file (so that coverity doesn't complain that hwloc is not fully 
> configured).
>
> Brice: do you have a nightly coverity submission script running somewhere?
>

No, I just run it manually from time to time.

Brice

[hwloc-devel] Coverity

2015-02-14 Thread Jeff Squyres (jsquyres) 
I added a bunch of components into the hwloc coverity setup, as well as a dummy 
model file (so that coverity doesn't complain that hwloc is not fully 
configured).

Brice: do you have a nightly coverity submission script running somewhere?

-- 
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to: 
http://www.cisco.com/web/about/doing_business/legal/cri/

Re: [hwloc-devel] Coverity Scan

2011-03-08 Thread Samuel Thibault 
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

[hwloc-devel] Coverity Scan

2011-03-08 Thread Jeff Squyres 
Do we want to enroll hwloc in the Coverity Scan tool?

http://scan.coverity.com/developers-faq.html
and
https://svn.open-mpi.org/trac/ompi/wiki/Coverity

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.

-- 
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to:
http://www.cisco.com/web/about/doing_business/legal/cri/