[splint-discuss] Unrecognized identifiers and other definitions

[Nido Media]

Hello all,

I've been a splint user on and off for the last few years. I'm pretty
happy with it, but the main reason I tend to ditch it is the fact that
it doesn't recognize a lot of the functions found in the modern C
library; and there's no elegant way to fix this in the code in an
elegant manner.

This time; I decided to take another route. I've looked into the splint
package and noticed the .lcd packages; and corresponding .h file. With
that and a bit of browsing through the manual; I got the idea to create
a posix.1-2008 compatible library.

For convenience sake; I've created a file std.h, in which I define the
unrecognised identifiers and alike. I've attached this file as an email.
  The command I used for testing this idea is as follows:

splint std.h -dump std && splint -warnposix +load std test.c



Right now I've got a near-trivial test case working this way and I've
defined four functions this way. You are welcome to give any feedback on
the std. file as it is now; or to use it yourself, or to include it, or
portions in splint itself.



I wonder if there is anyone interested in what happens to this file. I
can type up my findings and updates to this file in this mailing list,
but if nobody cares, it'd just be a waste of bandwidth and time. So
please let me know if you care about this.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: std.h
Url: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20090408/4c9cc0f8/attachment.h