Специалисты Новгородский государственный университет (НовГУ) и Института системного программирования РАН обнаружили ограничения алгоритмов, из-за которых инструменты анализа безопасности могут не замечать потенциально опасные участки программ. В некоторых приложениях до 75% путей выполнения кода…