Static Analysis of Reference-Counted Objects for the C Programming Language. - Ole Wiedemann; Volkmar Sieh (PLOS@SOSP, 2025)