Поиск ошибок выхода за границы буфера в бинарном коде программдиссертация