[Gc] Boehm GC and Splint

Andrew Pennebaker andrew.pennebaker at gmail.com
Mon Aug 1 12:17:30 PDT 2011


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


More information about the Gc mailing list