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