Специалисты Новгородский государственный университет (НовГУ) и Института системного программирования РАН обнаружили ограничения алгоритмов, из-за которых инструменты анализа безопасности могут не замечать потенциально опасные участки программ. В некоторых приложениях до 75% путей выполнения кода объединяются при анализе, скрывая возможные угрозы, пишет ТАСС.
По словам кандидата технических наук НовГУ Павла Довгалюка, проблему усложняют шифрование и сжатие, которые мешают изучить структуру программы до запуска. Для повышения точности исследователи предлагают сочетать два метода: подсчет выполненных блоков кода и отслеживание переходов между ними.
Подход не требует менять исходный код перед запуском и подходит для анализа приложений с динамически создаваемым кодом. Ученые также предлагают хранить результаты в компактных хеш-таблицах или сжимать журналы выполнения непосредственно во время работы программы.
В перспективе метод может помочь выявлять редко проверяемые участки кода и отслеживать пути передачи чувствительных данных, включая пароли и ключи доступа.
Источник: www.ferra.ru