[FFmpeg-devel] [WIP] False positives on Coverity

[Michael Niedermayer]

On Fri, Jul 12, 2024 at 01:55:42AM +0200, Michael Niedermayer wrote:
[...]
> Only 7 outstanding remain from prior may. and 19 total. So 99% of issues

down to 3 outstanding prior may and 8 overall


[...]
> 1604599 Overflowed constant; intentional
> 1604530 Infinite loop ; "intentional"
> 700368 Explicit null dereferenced ; the loop will exit after this and the code cannot be reached
> 1559187 Data race condition ; intentional
> 1591898 Unsigned compared against 0 ; pollfd has a signed fd on some platforms
> 1559180 Check of thread-shared field evades lock acquisition ; See source code

4 more false positives:
1604428 Overflowed return value ; avio_tell() misanalysis
1604511 Overflowed constant ; intentional
1604570 Overflowed constant ; not possible
1591857 Resource leak ; I think this works like intended

[...]

-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

Let us carefully observe those good qualities wherein our enemies excel us
and endeavor to excel them, by avoiding what is faulty, and imitating what
is excellent in them. -- Plutarch
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
URL: <https://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20240713/c400de89/attachment.sig>