[FFmpeg-devel] Coverity

Baptiste Coudurier baptiste.coudurier
Tue Jun 3 02:04:18 CEST 2008

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 ?

Baptiste COUDURIER                              GnuPG Key Id: 0x5C1ABAAA
Smartjog USA Inc.                                http://www.smartjog.com
Key fingerprint                 8D77134D20CC9220201FC5DB0AC9325C5C1ABAAA

More information about the ffmpeg-devel mailing list