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.
( I apologize if this is off topic for gentoo-security, I noticed this
list is rather low-traffic... )
[1] http://packages.gentoo.org/package/dev-util/splint?full_cat
[2] http://www.gentoo.org/proj/en/security/audit.xml
--
Mansour Moufid
http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x95BBC25F
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.
( I apologize if this is off topic for gentoo-security, I noticed this
list is rather low-traffic... )
[1] http://packages.gentoo.org/package/dev-util/splint?full_cat
[2] http://www.gentoo.org/proj/en/security/audit.xml
--
Mansour Moufid
http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x95BBC25F