[splint-discuss] [Beginner] Glib data structures not detected as freed

[Jeff Johnson]

On Jan 13, 2009, at 5:00 PM, Stephane Bortzmeyer wrote:

>
> I noticed in the manual the use of /*@releases X@*/ but I did not
> write glib and I prefer not to modify its source.

You won't succeed using splint with glib unless glib methods are  
annotated consistently.

Whether you consider adding C comments (aka splint annotations)
to glib prototypes as "modifying source" is all in the eye of
the beholder.

You won't succeed using splint with glib unless glib methods are  
annotated consistently.

73 de Jeff
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4664 bytes
Desc: not available
Url : http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20090113/3113377e/attachment-0001.bin