Защита программ

       

и значения атрибутов при проведении


 Код примера и значения атрибутов при проведении итераций статического анализа


Результаты тестирования


Название программыОбщее количество предупрежденийКоличество истинных предупрежденийКоличество ложных предупреждений при анализе на основе интерваловКоличество ложных предупреждений, устраненных при использовании линейных зависимостей
bftpd5420347
lhttpd225170
muh4712352
pgp4pine4516293
popclient3472712
sharutils4911387
troll-ftpd472452
Содержание раздела