[splint-discuss] About Source Code of Splint

[Wang Safin]

Hi everyone,
I am a newcomer, and I'm trying to read the source code of Spint-3.11. I
have not enough informations about the structure or anything else about the
source, so it's a difficult job for me.
Does anyone have some papers or something else about the source code?
Thank you for help!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080112/35a29b31/attachment.html