Обнаружение утечки памяти в списочных структурах с применением SAT-подхода: магистерская диссертация по направлению подготовки: 01.04.02 - Прикладная математика и информатика - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)