Haberland, R. Comparative Analysis of Approaches to Static Verification of Dynamic Memory. CTE 2019, 5-30.