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 A8E6848B07 for ; Thu, 1 Feb 2024 17:59:23 +0000 (UTC) Received: from [127.0.1.1] (localhost [127.0.0.1]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTP id AD4C568D008; Thu, 1 Feb 2024 19:59:21 +0200 (EET) Received: from mail0.khirnov.net (red.khirnov.net [176.97.15.12]) by ffbox0-bg.mplayerhq.hu (Postfix) with ESMTPS id F297468C8CC for ; Thu, 1 Feb 2024 19:59:15 +0200 (EET) Authentication-Results: mail0.khirnov.net; dkim=pass (2048-bit key; unprotected) header.d=khirnov.net header.i=@khirnov.net header.a=rsa-sha256 header.s=mail header.b=B7O+bOnJ; dkim-atps=neutral Received: from localhost (localhost [IPv6:::1]) by mail0.khirnov.net (Postfix) with ESMTP id AF457240DA9 for ; Thu, 1 Feb 2024 18:59:15 +0100 (CET) Received: from mail0.khirnov.net ([IPv6:::1]) by localhost (mail0.khirnov.net [IPv6:::1]) (amavis, port 10024) with ESMTP id Juv2juwzFBbA for ; Thu, 1 Feb 2024 18:59:15 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=khirnov.net; s=mail; t=1706810355; bh=o9OyrbwFjAnk0JlUMFg7sUZbR8IUVyXaO+l4opo2n8c=; h=Subject:From:To:In-Reply-To:References:Date:From; b=B7O+bOnJPyT1eGKon3BvM+nSHQDjnd4d1Y0mN9uqm4YLtik22ybJ7Pum4xETB5OiQ wwTmEMJa27ikhbUUFqKhP+Z+YaGOXuT20spB0TsOWw27BNBjj1Wc5g5bFHUZ10ryh1 KypSWKyyOf7Q4YYL3iSKqhzTSo2d5masVmFvu4Al87gk32RxaxR14W+jv8g8lORu5r phAzPYQduQt7/A2Td0SCP1LR/f5pyaPFILlWrLEYgr60qTwqDFjCe0XLn136dhumDb iJHIVGq0hAviEEoyueFEYQl0vdam5dRsgJ6VjzflxP6kPlD8/q4GJg6flyTL8BTigK F/2GDnt6hk5kA== Received: from lain.khirnov.net (lain.khirnov.net [IPv6:2001:67c:1138:4306::3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "lain.khirnov.net", Issuer "smtp.khirnov.net SMTP CA" (verified OK)) by mail0.khirnov.net (Postfix) with ESMTPS id 0E6A4240177 for ; Thu, 1 Feb 2024 18:59:15 +0100 (CET) Received: by lain.khirnov.net (Postfix, from userid 1000) id E5ED81601B9; Thu, 1 Feb 2024 18:59:14 +0100 (CET) From: Anton Khirnov To: FFmpeg development discussions and patches In-Reply-To: <20240131230702.GZ6420@pb2> References: <20240128032549.GN6420@pb2> <20240130014821.GJ6420@pb2> <36880d31-320c-419f-ae4d-42a5eade0ebe@gmail.com> <20240131230702.GZ6420@pb2> Mail-Followup-To: FFmpeg development discussions and patches Date: Thu, 01 Feb 2024 18:59:14 +0100 Message-ID: <170681035491.8914.10563983075217105239@lain.khirnov.net> User-Agent: alot/0.8.1 MIME-Version: 1.0 Subject: Re: [FFmpeg-devel] Sovereign Tech Fund 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: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: ffmpeg-devel-bounces@ffmpeg.org Sender: "ffmpeg-devel" Archived-At: List-Archive: List-Post: Quoting Michael Niedermayer (2024-02-01 00:07:02) > > about antons comment > "Objections: (Anton) Coverity (and other static analysis tools) are notoriously prone to false positives. I am concerned that this might lead to a large number of patches that "fix" such false positives, but make the code worse." > > It was me years ago who brought the number of coverity issues down to > a small number. It has exploded since. > > anton, where does this misstrust come from ? > When i did all that fixing of covertiy issues long ago i closed many > i think about 1/3 where real issues IIRC 2/3 where false positves or > "intended" i closed the false positives and marked them accordingly as false or > intended or whatever was correct. > > Why should i suddenly do something different ? > I did it for 100% free back then > and here it wouldnt even make sense, closing false positives also > counts as resolved. Its less work even to get 70USD ;) What's with this hurt-feelings tone? You ASKED people to comment on the proposals, so I asked a question. You can just answer it, no need to get all emotional about it. I don't stalk you or your commits, why do you expect me to know that you worked on such issues "long ago"? I don't even know one can close coverity issues manually. What I do know is that I've seen similar initiatives run into this pathology in the past, hence my question. -- Anton Khirnov _______________________________________________ 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".