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

Title:
Static Analysis of Reference-Counted Objects for the C Programming Language
Authors:
Wiedemann, Ole, Sieh, Volkmar
Source:
Proceedings of the 13th Workshop on Programming Languages and Operating Systems. :18-24
Availability:
http://dl.acm.org/doi/10.1145/3764860.3768328
Database:
ACM Full-Text Collection