[vlc-devel] Re: Find bugs in VLC source code with Coverity
attila at kinali.ch
Mon Apr 10 01:31:05 CEST 2006
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.
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.
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