On Jul 6, 2010, at 5:01 PM, Skye Sweeney wrote:
> I am looking for an annotated header file for sqlite3. If someone has done
> this work already I would love to piggyback on your sweat. If not, I will be
> working on this and could post it back to the group.
>
> PS: Is there a repository of annotated vendor include files someplace? I was
> not able to find one if it exists.
>
I likely did splint annotations for sqlite3 4-5 years ago.
You can likely find in a top level check-out from
cvs -d :ext:rpm-...@rpm5.org:/v/rpm/cvs get sqlite
Lemme look ... yeah there's a top-level module called "sqlite" still.
Please note "... 4-5 years ago ..." These days I use the sqlite3 in db-5.0.21.
hth
73 de Jeff
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
