[splint-discuss] Unrecognized identifiers and other definitions

[Jake Holland]

> You are welcome to use the file as it is now; and I'd love to
> incorporate your modifications when you have them. When the file is
> sufficiently complete, the splint maintainers are welcome to use the
> file to add/replace the now default library files.

I'll keep an eye out for any problems I have that would be an excuse to
include/extend this, and if I make any changes, I'll post them.

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.