coverity?

[Boudewijn Rempt]

On Wednesday 23 July 2008, Stephen Kelly wrote:
> Boudewijn Rempt wrote:
> > On Wed, 23 Jul 2008, Dirk Mueller wrote:
> >> On Tuesday 22 July 2008, Albert Astals Cid wrote:
> >> > It seems scans stopped on 2008-Apr-24, i tried finding someone with
> >> > contact with coverity on IRC but failed.
> >>
> >> I have a contact and he said that the old scan host ran out of disk
> >> space and that he tries to setup a new one (where we can build the stuff
> >> ourselves and only submit the collected data for analysis). Still
> >> pending a reply, however.
> >
> > Ah, ok. I was thinking of fixing the koffice coverity bugs as part of our
> > effort to get into release mode, but that'll keep.
> >
> > Boudewijn
>
> What is coverity? A security tool? Quality tool? Could someone put info on
> whatever it is here:
>
> http://techbase.kde.org/Development/Software_Engineering_Framework

It's a closed source, proprietary, static code checker that has found many, 
many bugs in KDE. You cannot run it on your own. See 
http://www.coverity.com/.

-- 
Boudewijn Rempt 
http://www.valdyas.org/fading/index.cgi