Cyclone предупредит появление уязвимостей

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

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

Новый язык очень близок к C, что позволяет с минимальными усилиями переносить на него написанные на C приложения. На сегодняшний день создателям Cyclone удалось разработать простой веб-сервер, который, по их словам, совершенно невосприимчив к обычным багам.

Материалы по Cyclone будут представлены г-ном Моррисеттом и его коллегами на Конференции по разработке и реализации языка программирования (Programming Language Design and Implementation Conference), которая пройдет в Германии в июне 2002 года.

Подробнее об этом читайте в разделе "Главные новости дня" .. >>

Как «умные» каски и видеоаналитика помогают добиться нулевого травматизма

Энергия ИИ

Поделиться

Подписаться на новости Короткая ссылка