[vlc-devel] Re: Find bugs in VLC source code with Coverity

Måns Rullgård mru at inprovide.com
Mon Apr 10 03:16:56 CEST 2006

Attila Kinali <attila at kinali.ch> writes:

> On Sun, 9 Apr 2006 14:03:39 -0700 (PDT)
> "mark at usefree.org" <mark at usefree.org> wrote:
>> Have you ever considered using Coverity's source code
>> scanning tool to detect bugs in VLC? This is already
>> used by many Free and Open Source Software projects,
>> including Xine and MPlayer.
> Just as a correction: MPlayer does not use coverty.
> Atleast there has been never any discussion on the mailinglist
> about using it. And i doubt that any of the developers would
> have started using it without anyone else knowing it.
> I also have no idea where they got their numbers from.
> They might have taken it from our bugzilla, but i'm not sure. 

See http://scan.coverity.com/

> I learned about coverty myself just a few hours ago. I thought
> about contacting them, but haven't done yet. I suppose that
> all this is just a PR gag to promote their product.

They are being paid by the US Department of Homeland Security (IIRC)
to do these checks on selected software.

Måns Rullgård
mru at inprovide.com

This is the vlc-devel mailing-list, see http://www.videolan.org/vlc/
To unsubscribe, please read http://developers.videolan.org/lists.html

More information about the vlc-devel mailing list