Haberland R. Comparative Analysis of Approaches to Static Verification of Dynamic Memory // Comput. Tools Educ. St. Petersburg, Russia, 2019. № 2. Pp. 5-30.