Gentoo Archives: gentoo-security

From: Mansour Moufid <mansourmoufid@×××××.com>
To: gentoo-security@l.g.o
Subject: [gentoo-security] the Gentoo Audit project and dev-util/splint
Date: Thu, 04 Jun 2009 03:44:35
Message-Id: 44a1f4d20906032044w9b2a301pe617199ec9fb86f@mail.gmail.com
1 Hello list,
2
3 I was wondering if I could get peoples' opinions of dev-util/splint
4 (the Secure Programming Lint) [1], and specifically in the context of
5 development on Gentoo -- if you've used this tool before and if you
6 did or didn't find it useful?
7
8 I noticed it wasn't listed as a source code audit aid on the Gentoo
9 Audit project page [2]. Is there a specific reason for this or was
10 simply an oversight? I wouldn't mind contributing a brief paragraph or
11 so on the subject.
12
13 ( I apologize if this is off topic for gentoo-security, I noticed this
14 list is rather low-traffic... )
15
16 [1] http://packages.gentoo.org/package/dev-util/splint?full_cat
17 [2] http://www.gentoo.org/proj/en/security/audit.xml
18
19 --
20 Mansour Moufid
21 http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x95BBC25F

Replies