Аннотация:
Предложен механизм автоматизации поиска уязвимостей в операционных системах (ОС), построенных на базе ядра Linux, учитывающий особенности данного семейства ОС. Произведена теоретическая оценка эффективности предложенного алгоритма.
Ключевые слова:поиск уязвимостей; верификация; информационная безопасность; ПО с открытым исходным кодом.