Поделиться
Cyclone предупредит появление уязвимостей
Язык под названием Cyclone разрабатывается группой программистов из Корнельского университета (Cornell University) и лабораторийКомпилятор языка Cyclone выявляет участки кода, которые со временем могут послужить причиной уязвимостей, с помощью механизма контроля типов. Cyclone не ищет определенную строку в исходном коде, а анализирует возможный результат его выполнения и выделяет потенциально опасные противоречия.
Компилятор Cyclone перепишет исходный код или предложит исправления для исключения потенциальных ошибок. Даже если баг еще не исправлен, компилированная система приведет к корректному завершению программы, а не к ее зависанию.
Новый язык очень близок к C, что позволяет с минимальными усилиями переносить на него написанные на C приложения. На сегодняшний день создателям Cyclone удалось разработать простой веб-сервер, который, по их словам, совершенно невосприимчив к обычным багам.
Материалы по Cyclone будут представлены г-ном Моррисеттом и его коллегами на Конференции по разработке и реализации языка программирования (Programming Language Design and Implementation Conference), которая пройдет в Германии в июне 2002 года.
 Подробнее об этом читайте в разделе "Главные новости дня" .. >> |
Короткая ссылка
