[Gc] Boehm GC and Splint
andrew.pennebaker at gmail.com
Mon Aug 1 12:17:30 PDT 2011
Splint (https://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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Gc