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

[Måns Rullgård]

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