Хаберланд Р. Сравнительный анализ статических методов верификации динамической памяти // Comput. Tools Educ. Санкт-Петербург, Россия, 2019. № 2. сс. 5-30.