From: "Vladimir 'φ-coder/phcoder' Serbinenko" <phcoder@gmail.com>
To: The development of GNU GRUB <grub-devel@gnu.org>
Subject: Re: Coverity project for GRUB
Date: Sun, 07 Dec 2014 22:34:04 +0100 [thread overview]
Message-ID: <5484C7CC.7000909@gmail.com> (raw)
In-Reply-To: <20141128224703.1a354f3b@opensuse.site>
[-- Attachment #1: Type: text/plain, Size: 734 bytes --]
On 28.11.2014 20:47, Andrei Borzenkov wrote:
> 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.
>
I was unable to access it. Could you post the list of warnings to the list?
> _______________________________________________
> Grub-devel mailing list
> Grub-devel@gnu.org
> https://lists.gnu.org/mailman/listinfo/grub-devel
>
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 213 bytes --]
next prev parent reply other threads:[~2014-12-07 21:34 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-11-28 19:47 Coverity project for GRUB Andrei Borzenkov
2014-12-07 21:34 ` Vladimir 'φ-coder/phcoder' Serbinenko [this message]
2014-12-08 6:15 ` Andrei Borzenkov
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5484C7CC.7000909@gmail.com \
--to=phcoder@gmail.com \
--cc=grub-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.