public inbox for gentoo-security@lists.gentoo.org
 help / color / mirror / Atom feed
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 --]

  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