Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ.

Статья посвящена некоторым аспектам реализации метода обнаружения потенциальных уязвимостей в программе на основе статического потоково-чувствительного анализа потоков данных. Серьезной проблемой этого метода является большое количество ложных предупреждений. Часто ложные предупреждения вызваны недо...

Full description

Bibliographic Details
Main Authors: В.С. Несов, О.Р. Маликов
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2006-01-01
Series:Труды Института системного программирования РАН
Online Access:https://www.ispras.ru/en/proceedings/isp_9_2006/isp_9_2006_51/