[ofiwg] Coverity coverage of new providers

Jeff Squyres (jsquyres) jsquyres at cisco.com
Wed Feb 17 12:59:25 PST 2016


Nope.  At least, not with the free level of Coverity tools that we get.


-----Original Message-----
From: Howard Pritchard <hppritcha at gmail.com>
Date: February 17, 2016 at 12:03:46 PM
To: Xiong, Jianxin <jianxin.xiong at intel.com>
CC: Hefty, Sean <sean.hefty at intel.com>, Jeff Squyres (jsquyres) <jsquyres at cisco.com>, OFIWG Mailing list <ofiwg at lists.openfabrics.org>
Subject:  Re: [ofiwg] Coverity coverage of new providers

> HI Jeff,
>  
> It appears cray will only allow install of the necessary software to build
> the gni provider
> on cray systems. Is there a way to merge coverity reports from multiple
> platforms?
>  
> Howard
>  
>  
> 2016-02-16 12:01 GMT-07:00 Xiong, Jianxin :
>  
> > To build the psm2 provider, the open source PSM2 code can be used:
> > https://github.com/01org/opa-psm2 . The PSM2 code depends on a header
> > file "/usr/include/rdma/hfi/hfi1_user.h" from the hfi1 driver installation.
> > This header file is available in the upstream kernel source tree:
> > https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/include/uapi/rdma/hfi/hfi1_user.h  
> >
> > Jianxin
> >
> > > -----Original Message-----
> > > From: Hefty, Sean
> > > Sent: Tuesday, February 16, 2016 9:26 AM
> > > To: Jeff Squyres (jsquyres) ; OFIWG Mailing list
> > >  
> > > Cc: Xiong, Jianxin  
> > > Subject: RE: Coverity coverage of new providers
> > >
> > > > It looks like we're not building the following providers for Coverity
> > > > testing coverage:
> > > >
> > > > - GNI
> > > > - PSM2
> > >
> > > I believe this is doable. Copying Jianxin.
> > >
> > > > - MXM
> > >
> > > This is more difficult. I'm able to build against mxm on my system, but
> > I had to
> > > manually extract out the library files from an installation package. I
> > don't think
> > > there's an open source solution for mxm.
> >
> > _______________________________________________
> > ofiwg mailing list
> > ofiwg at lists.openfabrics.org
> > http://lists.openfabrics.org/mailman/listinfo/ofiwg
> >
>  

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


More information about the ofiwg mailing list