[Gc] Boehm GC and Splint

[Andrew Pennebaker]

Splint (http://www.splint.org/) is a static code analyzer for C. Perhaps its
chief feature is its ability to track down sources of memory leaks.

Splint knows every malloc() should have a matching free(). Obviously, it has
trouble reasoning about GC_MALLOC().

Does anyone know how to properly annotate code for Splint so that it ignores
apparent memory leaks caused by Boehm GC code?

In particular, could someone offer an annotated version of the Wikipedia
Boehm GC example that does this?

http://en.wikipedia.org/wiki/Boehmgc#Example

Cheers,

Andrew Pennebaker
www.yellosoft.us
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://napali.hpl.hp.com/pipermail/gc/attachments/20110801/904c8fee/attachment.htm