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

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


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


Название программыОбщее количество предупрежденийКоличество истинных предупрежденийКоличество ложных предупреждений при анализе на основе интерваловКоличество ложных предупреждений, устраненных при использовании линейных зависимостей

bftpd	54	20	34	7
lhttpd	22	5	17	0
muh	47	12	35	2
pgp4pine	45	16	29	3
popclient	34	7	27	12
sharutils	49	11	38	7
troll-ftpd	47	2	45	2

Содержание раздела

---

---