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

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

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