From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from ffbox0-bg.mplayerhq.hu (ffbox0-bg.ffmpeg.org [79.124.17.100]) by master.gitmailbox.com (Postfix) with ESMTP id 9218E4AB5E for ; Fri, 12 Jul 2024 23:20:33 +0000 (UTC) Received: from [127.0.1.1] (localhost [127.0.0.1]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTP id 6F7BB68DB49; Sat, 13 Jul 2024 02:20:31 +0300 (EEST) Received: from relay3-d.mail.gandi.net (relay3-d.mail.gandi.net [217.70.183.195]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTPS id 2B66468D968 for ; Sat, 13 Jul 2024 02:20:25 +0300 (EEST) Received: by mail.gandi.net (Postfix) with ESMTPSA id 8217160002 for ; Fri, 12 Jul 2024 23:20:24 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=niedermayer.cc; s=gm1; t=1720826424; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=pBAviqqxYFYo1dYovhnM8HwxsxfcyyYms7lKGRS86Jg=; b=iMC90O944Vyj+CRSo/B5KwWFK/EFDBFvyPPbO6jSfOourhDAVzMZgX0JKfXKB2NhmV7z6C sLv7Ydfa2Z5bs3drtUquNKDagSoHyTXU6g3FgpLq8FzAqgev+ExhNbwXsZHvfM8Gfw8yYG HNckkPU7bozcb9hXdIexHCEDjzrP4b9nUOhxoIcxbqSr3ZOsN90kr+sUCHZn3U9ZRT5FJo 88eM2rCNZwjz8lotyjRd2GgGFFSDM+9nQvFU0G97Cr8IlqHPSGdavQbFYoNKs52Dl2LAnJ Ly09xRxYADYk+q/+fsVJ9OABFo1itW8luNTt0AjqlERk8BRvnGChPDD9u6Bxfg== Date: Sat, 13 Jul 2024 01:20:23 +0200 From: Michael Niedermayer To: FFmpeg development discussions and patches Message-ID: <20240712232023.GB4991@pb2> References: <20240513233816.GL6420@pb2> <20240711235542.GN4991@pb2> MIME-Version: 1.0 In-Reply-To: <20240711235542.GN4991@pb2> X-GND-Sasl: michael@niedermayer.cc Subject: Re: [FFmpeg-devel] [WIP] False positives on Coverity X-BeenThere: ffmpeg-devel@ffmpeg.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: FFmpeg development discussions and patches List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: FFmpeg development discussions and patches Content-Type: multipart/mixed; boundary="===============0690088732393538863==" Errors-To: ffmpeg-devel-bounces@ffmpeg.org Sender: "ffmpeg-devel" Archived-At: List-Archive: List-Post: --===============0690088732393538863== Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="hGlPM6iM6tg/QwBJ" Content-Disposition: inline --hGlPM6iM6tg/QwBJ Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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 plat= forms > 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 [...] --=20 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 --hGlPM6iM6tg/QwBJ Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iF0EABEKAB0WIQSf8hKLFH72cwut8TNhHseHBAsPqwUCZpG6LAAKCRBhHseHBAsP q4BpAJ9VkQQqkmOV08cvfw5m+CQv3S7dOACeK4MBz/cbptSo6sCB2BckO3AMfhI= =pPtd -----END PGP SIGNATURE----- --hGlPM6iM6tg/QwBJ-- --===============0690088732393538863== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ 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". --===============0690088732393538863==--