Re: [Geany-Devel] using Coverity to audit the code base

2015-03-07 Thread Liviu Andronic
On Thu, Feb 26, 2015 at 7:18 PM, Colomban Wendling lists@herbesfolles.org wrote: Hey, Le 12/02/2015 22:21, Liviu Andronic a écrit : Dear all, Recently I've discovered Coverity, a code checking tool, and went ahead and submitted the Geany code for static analysis by this service:

Re: [Geany-Devel] using Coverity to audit the code base

2015-03-07 Thread Lex Trotman
Another way would be, for instance, to set up a dedicated, private ML (e.g. geany-dev-coverity) to which only members with access to Coverity can post/read. This should avoid most of the nagging related to their UA. Dedicated private lists is not the way to go with open source projects, almost

Re: [Geany-Devel] using Coverity to audit the code base

2015-03-07 Thread Liviu Andronic
On Sat, Mar 7, 2015 at 10:30 PM, Matthew Brush mbr...@codebrainz.ca wrote: On 15-03-07 12:59 PM, Liviu Andronic wrote: On Thu, Feb 26, 2015 at 7:18 PM, Colomban Wendling lists@herbesfolles.org wrote: Hey, Le 12/02/2015 22:21, Liviu Andronic a écrit : Dear all, Recently I've

Re: [Geany-Devel] using Coverity to audit the code base

2015-03-07 Thread Matthew Brush
On 15-03-07 12:59 PM, Liviu Andronic wrote: On Thu, Feb 26, 2015 at 7:18 PM, Colomban Wendling lists@herbesfolles.org wrote: Hey, Le 12/02/2015 22:21, Liviu Andronic a écrit : Dear all, Recently I've discovered Coverity, a code checking tool, and went ahead and submitted the Geany code

Re: [Geany-Devel] using Coverity to audit the code base

2015-02-27 Thread Liviu Andronic
Hi Colomban, On Thu, Feb 26, 2015 at 10:55 PM, Colomban Wendling lists@herbesfolles.org wrote: Le 26/02/2015 19:18, Colomban Wendling a écrit : […] Quoting Coverity's Scan User Agreement: You will not publish any findings regarding or resulting from use of the Service or the Software;

Re: [Geany-Devel] using Coverity to audit the code base

2015-02-26 Thread Colomban Wendling
Hey, Le 12/02/2015 22:21, Liviu Andronic a écrit : Dear all, Recently I've discovered Coverity, a code checking tool, and went ahead and submitted the Geany code for static analysis by this service: https://scan.coverity.com/projects/1388 Quoting Coverity's Scan User Agreement: You will

Re: [Geany-Devel] using Coverity to audit the code base

2015-02-26 Thread Colomban Wendling
Le 26/02/2015 19:18, Colomban Wendling a écrit : […] Quoting Coverity's Scan User Agreement: You will not publish any findings regarding or resulting from use of the Service or the Software; IANAL, but this looks like we couldn't discuss an issue it found on e.g. this mailing list.

Re: [Geany-Devel] using Coverity to audit the code base

2015-02-19 Thread Liviu Andronic
On Wed, Feb 18, 2015 at 2:57 PM, Nick Treleaven nick.trelea...@btinternet.com wrote: On 12/02/2015 21:21, Liviu Andronic wrote: Coverity has uncovered ~55 implementation defects in the code base, with 25 or so of high severity (memory corruption, resource leaks, etc.) Thanks. Some of this

Re: [Geany-Devel] using Coverity to audit the code base

2015-02-18 Thread Nick Treleaven
On 12/02/2015 21:21, Liviu Andronic wrote: Coverity has uncovered ~55 implementation defects in the code base, with 25 or so of high severity (memory corruption, resource leaks, etc.) Thanks. Some of this should be useful, but AFAICT some of the serious items seem to occur when certain

[Geany-Devel] using Coverity to audit the code base

2015-02-13 Thread Liviu Andronic
Dear all, Recently I've discovered Coverity, a code checking tool, and went ahead and submitted the Geany code for static analysis by this service: https://scan.coverity.com/projects/1388 Coverity has uncovered ~55 implementation defects in the code base, with 25 or so of high severity (memory

Re: [Geany-Devel] using Coverity to audit the code base

2015-02-13 Thread Frank Lanitz
Am 2015-02-12 22:21, schrieb Liviu Andronic: Dear all, Recently I've discovered Coverity, a code checking tool, and went ahead and submitted the Geany code for static analysis by this service: https://scan.coverity.com/projects/1388 Coverity has uncovered ~55 implementation defects in the code

Re: [Geany-Devel] using Coverity to audit the code base

2015-02-13 Thread Liviu Andronic
On Fri, Feb 13, 2015 at 1:01 PM, Frank Lanitz fr...@frank.uvena.de wrote: Am 2015-02-12 22:21, schrieb Liviu Andronic: Dear all, Recently I've discovered Coverity, a code checking tool, and went ahead and submitted the Geany code for static analysis by this service: