[splint-discuss] Unrecognized identifiers and other definitions

[Nido]

2009/4/8 Jake Holland <jholland at fastsoft.com>:
> Good luck on a response from the splint maintainers, but I can't advise
> you to have much hope.  As far as I've been able to discover since last
> July, splint is currently an orphaned project.

We'll see what happens. For the moment; the non-compliance with the
newer C standards is the biggest problem; and we can work around this
problem in a fairly trivial manner.

I'd guess this mailing list is _the_ place to be for splint related
conversation. Should someone be working on the program; they are
probably here

> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>