From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1XxjT0-0006pS-3B for mharc-grub-devel@gnu.org; Sun, 07 Dec 2014 16:34:10 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:40023) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XxjSy-0006pJ-3Q for grub-devel@gnu.org; Sun, 07 Dec 2014 16:34:09 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XxjSw-00016p-WA for grub-devel@gnu.org; Sun, 07 Dec 2014 16:34:08 -0500 Received: from mail-wg0-x233.google.com ([2a00:1450:400c:c00::233]:46371) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XxjSw-00016f-P0 for grub-devel@gnu.org; Sun, 07 Dec 2014 16:34:06 -0500 Received: by mail-wg0-f51.google.com with SMTP id k14so4778526wgh.38 for ; Sun, 07 Dec 2014 13:34:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type; bh=7QRZS1GlDHScYturWTc0yQovxKoZrNu7Bka1ukSNHac=; b=NpSW7BCmFfpyldqWtxeFsVa4dxRdnq4WYAeb8ENVe5jHrf9EhPl4hCdrHPGy5hLEpW fKPranKde8EXcK0MplpWA+4f4NewDui3Plvv6DM1W4wgRWThv+b3u7wcvCIa0J8/gXaC DhoVYLod44M7a6/8EXA5WrfPaV6I3cMoR0bXRwlmIgl+KVWMcnrP3nTdqN0TkamsJW0S frw0jXLzPBEB9T2g2yqSM2zyxFpcAX9ivakiMUOHZt1HPwJZ5LPB42mvXUxG1d1xiwK8 b6Ibwzj72awVjMalJrGqA+BSBiZm6bv/WD6QEssSChvtmcpYOohDzUgzlFfnqV0st843 EJOQ== X-Received: by 10.194.172.72 with SMTP id ba8mr41279464wjc.13.1417988046103; Sun, 07 Dec 2014 13:34:06 -0800 (PST) Received: from ?IPv6:2a02:1205:501d:9210:863a:4bff:fe50:abc4? ([2a02:1205:501d:9210:863a:4bff:fe50:abc4]) by mx.google.com with ESMTPSA id td6sm7276224wic.15.2014.12.07.13.34.05 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 07 Dec 2014 13:34:05 -0800 (PST) Message-ID: <5484C7CC.7000909@gmail.com> Date: Sun, 07 Dec 2014 22:34:04 +0100 From: =?UTF-8?B?VmxhZGltaXIgJ8+GLWNvZGVyL3BoY29kZXInIFNlcmJpbmVua28=?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.2.0 MIME-Version: 1.0 To: The development of GNU GRUB Subject: Re: Coverity project for GRUB References: <20141128224703.1a354f3b@opensuse.site> In-Reply-To: <20141128224703.1a354f3b@opensuse.site> Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="0TCmrohP1pTvm9cwwInIu8lepr8xDCeji" X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c00::233 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: Sun, 07 Dec 2014 21:34:09 -0000 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --0TCmrohP1pTvm9cwwInIu8lepr8xDCeji Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 28.11.2014 20:47, Andrei Borzenkov wrote: > I set up Coverity project: > https://scan.coverity.com/projects/3406?tab=3Doverview >=20 > 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. >=20 > 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. >=20 I was unable to access it. Could you post the list of warnings to the lis= t? > _______________________________________________ > Grub-devel mailing list > Grub-devel@gnu.org > https://lists.gnu.org/mailman/listinfo/grub-devel >=20 --0TCmrohP1pTvm9cwwInIu8lepr8xDCeji Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iF4EAREKAAYFAlSEx8wACgkQmBXlbbo5nOti6gEAiMgBayuPs++AJKdqHiDbPzQ7 VaHBI8cV/P+Avwqtco8BAKLFYcDDgGdll9v2VJVvmFUvu7cOgWDsAuON8ULTGqzi =OG9Q -----END PGP SIGNATURE----- --0TCmrohP1pTvm9cwwInIu8lepr8xDCeji--