Перевод названия: СИМВОЛЬНОЕ ИСПОЛНЕНИЕ ДЛЯ ИНТЕРПРЕТИРУЕМЫХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ
Тип публикации: статья из журнала
Год издания: 2015
Ключевые слова: search for vulnerabilities, поиск уязвимостей, symbolic execution, programming, information security, software security, символьное исполнение, программирование, информационная безопасность, защита программного обеспечения
Аннотация: This paper considers set of tools, which allows to perform symbolic execution. Symbolic execution helps to find an unexpected behavior of programs. It is necessary to search logic mistakes resulting in vulnerabilities. There are many tools to perform symbolic execution for byte-code. Aim of this paper is to review tools which allowПоказать полностьюperforming symbolic execution for programs, which are developed in dynamically-typed programming languages. Рассматриваются наборы инструментов, которые позволяют производить символьное исполнение программы для выявления поведения, которое не задумывалось разработчиком. Это необходимо для обнаружения логических ошибок, которые приводят к уязвимостям. Для символьного исполнения байт-кода присутствует достаточно широкий инструментарий. Целью данной статьи является обзор инструментов, которые позволяют производить символьное исполнение программ, написанных на языках программирования с динамической типизацией.
Журнал: Молодежь. Общество. Современная наука, техника и инновации
Выпуск журнала: № 14
Номера страниц: 53-57
Место издания: Красноярск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева"