Аналіз методів статичного дослідження програмного забезпечення

Abstract

У роботі проаналізовано сучасні методи статичного дослідження програмного забезпечення для виявлення вразливостей. Розглянуто техніки дизасемблювання, декомпілілювання, аналізу потоків даних та автоматизованого пошуку патернів вразливостей. Визначено обмеження статичного дослідження та тенденції розвитку інструментів автоматизації на основі штучного інтелекту.

The paper is devoted to the modern static software analysis methods in order to define vulnerabilities. Techniques of disassembling, decompilation, data flow analysis, and automated vulnerability patterns detection are examined.