Cyclone - безопасный диалект С

05.02.2003 | 15:22
Фирма AT&T Labs Research представила на днях Cyclone - язык программирования, основанный на Си, в котором сделан акцент на безопасность при разработке приложений: проводится контроль безопасности на возможные переполнения буфера, опасные указатели, возможные атаки форматной строки и т.д.

Высокоуровневые языки, ориентированные на безопасность, такие, как Java, Scheme или ML, также позволяют писать безопасные приложения, однако не обладают такими мощными средствами Си, как контроль над формой управления данными, управление памятью (именно по этой причине многие ран-таймовые системы пишут именно на Си). Кроме того, портирование Си-программ, а также взаимодействие с Си-библиотеками - довольно нетривиальная и очень сложная задача. Целью создания Cyclone как раз и было предоставление программистам возможности низкоуровневого контроля и высокой производительности Си с дополнительными проверками на безопасность исходного кода, а также лёгкое портирование с Си и упрощение взаимодействия с Си-библиотеками.

Подробности - http://www.research.att.com/projects/cyclone/.
безопасность, информация, защита информации, статьи, библиотека, аудит, администрирование, реагирование на инциденты, криптография, уязвимость
По материалам http://uinc.ru
Лента новостей: FacebookLiveJournalЯндекс

Комментарии (0)
Оставьте комментарий:CaptchaОбновить проверочный код