Guys I am reading Splint Manual for Memory Management Bugs and not getting any clue on following Annotations: 1:only 2:owned 3:dependent 4:refcounted
The problem I am facing with the examples within the manual.It is hard to understand.So it will be helpful if you guys provide me easy to understand examples. Thanks,Ajay _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
