Наибольшее число уязвимостей программного обеспечения в 2002 году было обнаружено в Microsoft Windows (44%), з

" в системах защиты программных продуктов и заставляют софтверные компании выпускать все новые "заплатки". Компилятор языка Cyclone выявляет участки кода, которые со временем могут послужить причиной уязвимостей, с помощью механизма контроля типов. Cyclone не ищет определенную строку в исходном коде, а анализирует возможный результат его выполнения и выделяет потенциально опасные противореч