Re: [Xen-devel] Make coverity results public

2018-04-06 Thread Lars Kurth
Updated: see https://xenproject.org/help/contribution-guidelines.html The text now is Code Security Scanning The Xen Project is registered with the "Coverity Scan" service which applies Coverity's static analyser to the Open Source projects. The tool can and does find flaws in the source code

Re: [Xen-devel] Make coverity results public

2018-04-04 Thread Wei Liu
On Wed, Apr 04, 2018 at 03:47:44PM +0100, Lars Kurth wrote: > > On 28/03/2018, 19:23, "George Dunlap" wrote: > > > > > Lars, if you don't object I'm going to open up the results. And I will > > leave the task to update the contribution guide webpage to

Re: [Xen-devel] Make coverity results public

2018-04-04 Thread Lars Kurth
On 28/03/2018, 19:23, "George Dunlap" wrote: > > Lars, if you don't object I'm going to open up the results. And I will > leave the task to update the contribution guide webpage to you. :-) I'd wait at least until EOD Thursday. :-) Sure. I

Re: [Xen-devel] Make coverity results public

2018-03-29 Thread Stefano Stabellini
On Thu, 29 Mar 2018, Roger Pau Monné wrote: > On Thu, Mar 29, 2018 at 12:30:25AM +, Julien Grall wrote: > > (sorry for the formatting) > > > > On Wed, 28 Mar 2018, 21:48 George Dunlap, wrote: > > > > > On 03/28/2018 02:33 PM, Roger Pau Monné wrote: > > > > Hello, >

Re: [Xen-devel] Make coverity results public

2018-03-29 Thread Roger Pau Monné
On Thu, Mar 29, 2018 at 12:30:25AM +, Julien Grall wrote: > (sorry for the formatting) > > On Wed, 28 Mar 2018, 21:48 George Dunlap, wrote: > > > On 03/28/2018 02:33 PM, Roger Pau Monné wrote: > > > Hello, > > > > > > According to the contribution guidelines

Re: [Xen-devel] Make coverity results public

2018-03-28 Thread Julien Grall
(sorry for the formatting) On Wed, 28 Mar 2018, 21:48 George Dunlap, wrote: > On 03/28/2018 02:33 PM, Roger Pau Monné wrote: > > Hello, > > > > According to the contribution guidelines document [0] the coverity > > database of issues is private, which makes it hard for

Re: [Xen-devel] Make coverity results public

2018-03-28 Thread George Dunlap
On 03/28/2018 06:18 PM, Wei Liu wrote: > Cc Lars > > On Wed, Mar 28, 2018 at 10:15:36AM -0700, Stefano Stabellini wrote: >> On Wed, 28 Mar 2018, George Dunlap wrote: >>> On 03/28/2018 02:49 PM, Wei Liu wrote: On Wed, Mar 28, 2018 at 02:33:37PM +0100, Roger Pau Monné wrote: > Hello, >

Re: [Xen-devel] Make coverity results public

2018-03-28 Thread Wei Liu
On Wed, Mar 28, 2018 at 06:18:40PM +0100, Wei Liu wrote: > Cc Lars > > On Wed, Mar 28, 2018 at 10:15:36AM -0700, Stefano Stabellini wrote: > > On Wed, 28 Mar 2018, George Dunlap wrote: > > > On 03/28/2018 02:49 PM, Wei Liu wrote: > > > > On Wed, Mar 28, 2018 at 02:33:37PM +0100, Roger Pau Monné

Re: [Xen-devel] Make coverity results public

2018-03-28 Thread Wei Liu
Cc Lars On Wed, Mar 28, 2018 at 10:15:36AM -0700, Stefano Stabellini wrote: > On Wed, 28 Mar 2018, George Dunlap wrote: > > On 03/28/2018 02:49 PM, Wei Liu wrote: > > > On Wed, Mar 28, 2018 at 02:33:37PM +0100, Roger Pau Monné wrote: > > >> Hello, > > >> > > >> According to the contribution

Re: [Xen-devel] Make coverity results public

2018-03-28 Thread Stefano Stabellini
On Wed, 28 Mar 2018, George Dunlap wrote: > On 03/28/2018 02:49 PM, Wei Liu wrote: > > On Wed, Mar 28, 2018 at 02:33:37PM +0100, Roger Pau Monné wrote: > >> Hello, > >> > >> According to the contribution guidelines document [0] the coverity > >> database of issues is private, which makes it hard

Re: [Xen-devel] Make coverity results public

2018-03-28 Thread George Dunlap
On 03/28/2018 02:49 PM, Wei Liu wrote: > On Wed, Mar 28, 2018 at 02:33:37PM +0100, Roger Pau Monné wrote: >> Hello, >> >> According to the contribution guidelines document [0] the coverity >> database of issues is private, which makes it hard for new people to >> see issues. IMO it makes no sense

Re: [Xen-devel] Make coverity results public

2018-03-28 Thread George Dunlap
On 03/28/2018 02:33 PM, Roger Pau Monné wrote: > Hello, > > According to the contribution guidelines document [0] the coverity > database of issues is private, which makes it hard for new people to > see issues. IMO it makes no sense to keep the result private anymore: > > - They have been