R. Haberland, “Comparative Analysis of Approaches to Static Verification of Dynamic Memory”, CTE, no. 2, pp. 5-30, Oct. 2019.