Static Analysis of Reference-Counted Objects for the C Programming Language.

Ole Wiedemann, Volkmar Sieh

Browse the full PLOS paper archive.