Model of data preparation for allocation of algorithm from binary code for the safety analysis of the software

Abstract

Предмет дослідження - використання технології відновлення в машинно-незалежному вигляді алгоритму по набору двійкових атракторів для аналізу безпеки програмного забезпечення. Мета статті - розглядання першого етапу методу виділення алгоритму з двійкового коду з використанням додаткових атракторів - підготовчого, що включає в себе завдання виділення множини атракторів с загальними ознаками та синтез інформації про досліджувану систему. Отримані такі результати. Проведено аналіз спеціалізованих симуляторів, що дозволяють вирішувати питання виділення (вилучення) деяких алгоритмів з двійкового коду. Визначено необхідність дослідження додаткових атракторів двійкового коду програми для підвищення точності тестування безпеки програмного забезпечення. Схематично запропоновано загальну структуру виділення алгоритму з двійкового коду. Розроблено комплекс алгоритмів, що в цілому складають модель першого етапу підготовки даних виділення алгоритму з двійкового коду для аналізу безпеки програмного забезпечення. Особливістю розробок цього етапу є можливість побудування графу для довільного атрактору, без обмеження на статичність коду. Це надасть можливість суттєвого розширення спектру досліджуваних програмних кодів, у тому числі кодів, що мають ознаки динамічної зміни. Подальший розвиток роботи полягає у дослідженні всієї схеми та розробки відповідного методу виділення алгоритму з двійкового коду для аналізу безпеки програмного забезпечення.