Алгебраїчний підхід у формалізації вразливостей в бінарному коді

• Опубліковано в: : Control systems & computers
• Дата: 2019
• Автори: Летичевський, О.О., Гринюк, Я.В., Яковлев, В.М.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2019
• Теми: Fundamental Problems in Computer Science
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/181087
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Алгебраїчний підхід у формалізації вразливостей в бінарному коді / О.О. Летичевський, Я.В. Гринюк, В.М. Яковлев // Control systems & computers. — 2019. — № 6. — С. 5-20. — Бібліогр.: 9 назв. — укр.

Пошук вразливостей у програмному забезпеченні є на поточний момент актуальним завданням та джерелом наукових викликів. Описаний у статті алгебраїчний підхід покликаний збільшити ефективність та достовірність алгоритмів пошуку. Запропоновано засоби формального опису поведінки бінарного коду та вразли...