Исходное сообщение
"70% проблем с безопасностью в Chromium вызваны ошибками при ..." Отправлено Андрей, 26-Май-20 03:20
> Где надо вызывать free -- это очень сложный вопрос, на который не всегда можно ответить статически, иногда ответ надо искать динамически. К счастью, в автоматизации этого направления делаются успехи. Две недели назад была новость: https://www.opennet.ru/opennews/art.shtml?num=52903 > Релиз набора компиляторов GCC 10 > Основные изменения: > Добавлен экспериментальный режим статического анализа "-fanalyzer", который выполняет ресурсоёмкий межпроцедурный анализ путей выполнения кода и потоков данных в программе. Режим способен на этапе компиляции выявлять такие проблемы, как ... обращение к освобождённым блокам памяти, ... Применение нового режима для кода OpenSSL уже позволило выявить опасную уязвимость. https://www.opennet.ru/opennews/art.shtml?num=52782