From: Robert Buchholz <rbu@gentoo.org>
To: gentoo-security@lists.gentoo.org
Cc: Mansour Moufid <mansourmoufid@gmail.com>
Subject: Re: [gentoo-security] the Gentoo Audit project and dev-util/splint
Date: Thu, 4 Jun 2009 12:58:14 +0200 [thread overview]
Message-ID: <200906041258.21882.rbu@gentoo.org> (raw)
In-Reply-To: <44a1f4d20906032044w9b2a301pe617199ec9fb86f@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 1205 bytes --]
On Thursday 04 June 2009, Mansour Moufid wrote:
> Hello list,
>
> I was wondering if I could get peoples' opinions of dev-util/splint
> (the Secure Programming Lint) [1], and specifically in the context of
> development on Gentoo -- if you've used this tool before and if you
> did or didn't find it useful?
>
> I noticed it wasn't listed as a source code audit aid on the Gentoo
> Audit project page [2]. Is there a specific reason for this or was
> simply an oversight? I wouldn't mind contributing a brief paragraph
> or so on the subject.
Hi Mansour,
I will add the item to the list -- the other tools do not have any
description either.
However note that the Auditing project is currently in a sleeping state.
No one is auditing code in the tree for new vulnerabilities (at least
not as part of the project). If you have an interest in this subject
and would like to participate in reviving the project, that would be
great. It can be a way to become a Gentoo developer and participate in
a great community, and to cooperate with others in the Security project
and other vendors. But keep in mind there is a certain amount of work
that comes with this.
Robert
[-- Attachment #2: This is a digitally signed message part. --]
[-- Type: application/pgp-signature, Size: 836 bytes --]
next prev parent reply other threads:[~2009-06-04 10:58 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-04 3:44 [gentoo-security] the Gentoo Audit project and dev-util/splint Mansour Moufid
2009-06-04 10:58 ` Robert Buchholz [this message]
2009-06-10 20:35 ` Mansour Moufid
2009-06-11 14:13 ` Robert Buchholz
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=200906041258.21882.rbu@gentoo.org \
--to=rbu@gentoo.org \
--cc=gentoo-security@lists.gentoo.org \
--cc=mansourmoufid@gmail.com \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox