On Jul 9, 2010, at 1:06 PM, Bill Pringlemeir wrote: > On 9 Jul 2010, n3...@mac.com wrote: > >> I have a check-out from sourceforge cvs installed in order to >> re-annotate sqlite3.h API. > >> Is there an example for how you are intending to include additional >> API's like sqlite3 in splint? > > The 'lib' directory has several headers and a Makefile. This is the > gist of what I am proposing. Chapter 14 of the manual is a fairly > quick read (with 14.2/14.3 probably the most important). >
Thanks. Off to look ... > I don't mean to make work for you. Any annotation you can provide are > fine. I am sure it is fairly easy to remove troublesome constructs. > The question is whether the annotate file is sufficient to parse all > 'user' source or does the original release file also have to be parsed > to get some needed symbols and/or macros. > No work, applying splint annotations takes practice, I'm rusty, use it or lose it. I don't mind a bit ... 73 de Jeff _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
