Садырин Даниил Сергеевич

Тезисы

Применение атрибутных грамматик в системах генерации тестов

Статья

Dergachev A., Sadyrin D., Ilina A., Loginov I., Korenkov I. Methods and Means of Searching Errors When Working With Dynamic Memory. CEUR Workshop Proceedings. 2020. Vol. 2590. pp. 1-9.

Статья

Sadyrin D., Dergachev A., Loginov I., Korenkov I., Ilina A. Application of Graph Databases for Static Code Analysis of Web-Applications. CEUR Workshop Proceedings. 2020. Vol. 2590. pp. 1-9.

Статья

Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Методы и средства обнаружения уязвимостей аллокаторов динамической памяти библиотеки glibc. Научно-технический вестник Поволжья. 2020. № 1. С. 79-83.

Тезисы

Анализ межпроцедурных зависимостей на основе графа свойств программного кода

Статья

Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ [Verification of dynamic memory allocators based on symbolic program execution]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2020. Т. 20. № 1(125). С. 101-109.

Статья

Садырин Д.С., Дергачев А.М. Формальная верификация аллокаторов памяти с применением символьного выполнения. Сборник трудов VIII конгресса молодых ученых (Санкт-Петербург, 15-19апреля 2019г.). 2019. Т. 3. С. 324-328.

Статья

Андреев Ю.С., Дергачев А.М., Жаров Ф.А., Садырин Д.С. Информационная безопасность автоматизированных систем управления технологическими процессами. Известия высших учебных заведений. Приборостроение. 2019. Т. 62. № 4. С. 331-339.

Статья

Korenkov I., Loginov I., Doronin O., Sadyrin D., Dergachev A. Retargetable compiler design issues. 19th International Multidisciplinary Scientific GeoConference, SGEM 2019. 2019. Vol. 19. No. 2.1. pp. 561-568.

Статья

Садырин Д.С. Противодействие эксплойтам на прикладном уровне в OC LINUX. Альманах научных работ молодых ученых Университета ИТМО. 2018. Т. 2. С. 293-295.

Статья

Садырин Д.С. Противодействие эксплойтам на прикладном уровне в OC LINUX. Сборник трудов IX научно-практической конференции молодых ученых «Вычислительные системы и сети (Майоровские чтения)». 2018. С. 111-113.