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

[Michael Niedermayer <michael@niedermayer.cc>]

[-- Attachment #1.1: Type: text/plain, Size: 1116 bytes --]

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

[-- Attachment #1.2: signature.asc --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

[-- Attachment #2: Type: text/plain, Size: 251 bytes --]

_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

To unsubscribe, visit link above, or email
ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".