Алгебраїчні шаблони вразливостей бінарного коду

• Published in: Проблеми програмування
• Date: 2020
• Main Author: Яковлев, В.М.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2020
• Subjects: Методи та засоби комп'ютерного моделювання
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/180422
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Алгебраїчні шаблони вразливостей бінарного код / В.М. Яковлев // Проблеми програмування. — 2020. — № 1. — С. 47-54. — Бібліогр.: 11 назв. — укр.

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