[FFmpeg-devel] Coverity

Aurelien Jacobs aurel
Tue Jun 3 17:12:23 CEST 2008


On Tue, 3 Jun 2008 02:32:15 +0200
Aurelien Jacobs <aurel at gnuage.org> wrote:

> On Mon, 02 Jun 2008 17:04:18 -0700
> Baptiste Coudurier <baptiste.coudurier at smartjog.com> wrote:
> 
> > Hi Aurel,
> > 
> > Aurelien Jacobs wrote:
> > > On Sat, 31 May 2008 23:39:53 +0200
> > > Aurelien Jacobs <aurel at gnuage.org> wrote:
> > > 
> > >> On Sat, 31 May 2008 22:27:51 +0200
> > >> Reimar D?ffinger <Reimar.Doeffinger at stud.uni-karlsruhe.de> wrote:
> > >>
> > >>> On Sat, May 31, 2008 at 06:57:16PM +0200, Aurelien Jacobs wrote:
> > >>>> On Fri, 30 May 2008 17:25:20 +0100
> > >>>> M?ns Rullg?rd <mans at mansr.com> wrote:
> > >>>>> Aurelien Jacobs <aurel at gnuage.org> writes:
> > >>>>>> On Fri, 30 May 2008 03:09:24 +0200
> > >>>>>> Diego Biurrun <diego at biurrun.de> wrote:
> > >>>>>>> On Thu, May 29, 2008 at 11:33:44PM +0200, Diego Biurrun wrote:
> > >>>>>>>> Apparently some Coverity people are at LinuxTag, maybe you can get one
> > >>>>>>>> of the LinuxTag attendees to talk to them.
> > >>>>>>> Ok, I mailed one of the coverity people.  Developers with accounts can
> > >>>>>>> ask for other developers to be added.  Aurelien, what username do you
> > >>>>>>> want?
> > >>>>>> aurel would be fine. Thanks.
> > >>>>> Account added.  You should be getting an email with your login
> > >>>>> details.
> > >>>> Unfortunately I still haven't received any login :-(
> > >>>> Anyway, if I can't get a login, I can still work on the various
> > >>>> matroska issues if someone send me a copy/paste of the coverity
> > >>>> report (either on or off list).
> > >>> Copy & paste is difficult, but I will give a quick summary at least.
> > >>> I think coverity would prefer if you did not publish that, at least that
> > >>> was my impression when I talked to them last time, whyever...
> > >>>
> > >>> [... some coerity reports ...]
> > >> Thanks Reimar.
> > >> I will have a look at this.
> > > 
> > > I've fixed CID44 and CID120.
> > > CID134 and CID135 are either fixed or invalid (the report is not very clear).
> > > CID56 is clearly invalid.
> > > 
> > > Someone with a coverity account may want to close those issues.
> > > 
> > 
> > It seems reg tests fail here:
> > 
> > ./ffmpeg_g -y -flags +bitexact -dct fastint -idct simple -i
> > ./tests/data/b-libav.mkv -f crc ./tests/data/mkv.lavf.crc
> > /home/bcouduri/src/ffmpeg/svn/tests/regression.sh: line 86:  7114
> > Floating point exception$ffmpeg $FFMPEG_OPTS $* -f crc "$crcfile" >
> > /tmp/ffmpeg$$ 2>&1
> > 
> > Any problem on your side ?
> 
> Oops... Indeed, I see the same problem. Sorry.
> It's a bit late right now, so I will have a look at it tomorrow.
> Thanks for the report.

Fixed. It was caused by r13601.
Now regression test fails in a way which may interest you:

-322d59758fe9446147223a607d1699bc *./tests/data/b-libav.ts
+447b005e527cf495ec13092e788f028d *./tests/data/b-libav.ts

Aurel




More information about the ffmpeg-devel mailing list