[splint-discuss] Maintenance status?

[Quandary]

Hey all,

  I'm wondering if splint is still actively maintained
or not. I've sent mail to info at splint dot org, as
well as to this list (via the moderator). I've gotten
no response to either mail, and the latter never got
approved or rejected, from what I can tell.
Furthermore, the anonymous CVS claims to be at version
3.1.0 (instead of 3.1.1), and all of the systems (bug
tracker, patch tracker, et. al.) are empty on the
SourceForge side of things.

So... I'm starting to wonder who, if anyone, is
holding all of this together? Static analysis is great
for giving code the once-over, and splint does a more
or less decent (if not somewhat cryptic) job of adding
semantic intent to C code to improve checking ability.
I currently have a little patchset sitting on my disk
that gets rid of the irritating compile warnings when
compiling with moderate CFLAGS ("-Wall -posix -std=c99
-pedantic"), and I don't know where to send it to.
Also, I'm a bit worried as I look over the code,
because at least one file
(src/Headers/splintMacros.nf) appears to be under a
GPL-incompatible license.


Anyone able to point me to the person(s) "in charge"?
Or at least tell me where I can send my patches ;)?


-- Travis

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com