From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1XuRVj-0001q6-8y for mharc-grub-devel@gnu.org; Fri, 28 Nov 2014 14:47:23 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59552) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XuRVb-0001hR-Va for grub-devel@gnu.org; Fri, 28 Nov 2014 14:47:21 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XuRVT-0003i3-C2 for grub-devel@gnu.org; Fri, 28 Nov 2014 14:47:15 -0500 Received: from mail-la0-x236.google.com ([2a00:1450:4010:c03::236]:40689) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XuRVT-0003hW-2h for grub-devel@gnu.org; Fri, 28 Nov 2014 14:47:07 -0500 Received: by mail-la0-f54.google.com with SMTP id pv20so1494486lab.27 for ; Fri, 28 Nov 2014 11:47:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:subject:message-id:mime-version:content-type :content-transfer-encoding; bh=K3hdzyrqjjFqKbNlaqh3wO2XyULPQ08UaibHMvlqv1U=; b=QRddzPozxWE1cArbpobD4lhtHZizUS1CcaWvLCchfEUwA2fYcb4Z++gdX83u0Y3EoU kh8Ml8UQjzh0c9WXbX+rLZF9wLqPBYBkEz0Pst9R0X+4SJkBt99xo7SpOpb+cBjZ/2q/ LJf5ZMz05QiCWUyKELBR8P0ZbK9xMFo5y6Dxaj6wXcYIDNl8+8O5mWi3EEdS1g7bG3p1 pABsZFBEWYQIOuJcTYUS2OK/ga0JiQpx8LgRRTwV0ef/FV8mdJZzpGXMr85Ky3jFiFXD VxsPglc/LkSVnVB4SuRMHt15NcYTBIy87uC14bXukafqDGLebaykiuqyKTCFi3U5Je2b rDYA== X-Received: by 10.112.199.138 with SMTP id jk10mr262186lbc.86.1417204026017; Fri, 28 Nov 2014 11:47:06 -0800 (PST) Received: from opensuse.site (ppp91-76-149-193.pppoe.mtu-net.ru. [91.76.149.193]) by mx.google.com with ESMTPSA id jj7sm2815460lbc.5.2014.11.28.11.47.04 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 28 Nov 2014 11:47:05 -0800 (PST) Date: Fri, 28 Nov 2014 22:47:03 +0300 From: Andrei Borzenkov To: grub-devel@gnu.org Subject: Coverity project for GRUB Message-ID: <20141128224703.1a354f3b@opensuse.site> X-Mailer: Claws Mail 3.11.0 (GTK+ 2.24.25; x86_64-suse-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:4010:c03::236 X-BeenThere: grub-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list Reply-To: The development of GNU GRUB List-Id: The development of GNU GRUB List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 28 Nov 2014 19:47:21 -0000 I set up Coverity project: https://scan.coverity.com/projects/3406?tab=overview There are quite a few of false positives caused by grub_fshelp_find_file, but otherwise it does find real bugs. There are slightly above 300 incidents in total. I myself build it for i386-pc; if you have possibilities to submit builds for other platforms would be great. We probably need some agreement on how to name build versions.