| dbpprop:abstract
|
- The Cyclone programming language is intended to be a safe dialect of the C programming language. Cyclone is designed to avoid buffer overflows and other vulnerabilities that are endemic in C programs, without losing the power and convenience of C as a tool for systems programming. Cyclone development was started as a joint project of AT&T Labs Research and Greg Morrisett's group at Cornell in 2001. Version 1.0 was released on May 8, 2006.
- Cyclone ist ein Dialekt der Programmiersprache C, der verschiedene Sicherheitsmechanismen besitzt, mit denen sich das Auftreten von Pufferüberlauf- und Format-String-Schwachstellen weitgehend unterbinden lässt. Dieser wurde in einer Zusammenarbeit der AT&T Labs Research und der Cornell University entwickelt.
- Cyclone és un llenguatge de programació derivat del llenguatge C que té per finalitat superar les vulnerabilitats d'aquest sense perdre la potència i el control dels recursos que el caracteritzen per a la programació de sistemes. El seu desenvolupament començà com un projecte conjunt de AT&T Labs Research i el grup de Greg Morrisett a la universitat de Cornell el 2001. La versió 1.0 va sortir el 8 de Maig de 2006 Cyclone millora la seguretat, introdueix subtipus (estructurals, d'allotjament, etc), incorpora un allotjament dinàmic insòlit (per regions lèxiques, dinàmiques i al munt amb recol·lector de brossa opcional) i afegeix característiques de llenguatges de més alt nivell del tipus de ML.
- Cyclone jest niskopoziomowym językiem programowania, którego korzenie sięgają języka C. Został tak zaprojektowany, by uniknąć głównych wad swojego pierwowzoru. Wskaźniki w Cyclone dzielą się na cztery grupy: zwykłe wskaźniki (takie jak w C) - ograniczona możliwości rzutowania, jest zabroniona arytmetyka wskaźników; Cyclone przy dereferencji wskaźnika (np. rekord→pole) sprawdza czy wskaźnik ma wartość NULL. fat pointers ("grube" wskaźniki) - wskaźnik jest samoopisujący: zawiera zarówno adres obszaru pamięci, jak również rozmiar tego obszaru; arytmetyka wskaźników jest dowolna, bowiem łatwo wykryć próby dostępu do pamięci spoza przydzielonego zakresu; not-NULL pointers (niepuste wskazania) - Cyclone gwarantuje że taki wskaźnik nigdy nie będzie miał wartości NULL. wskaźniki na łańcuch znaków zakończony zerem. W Cyclone wprowadzono regiony pamięci, które mogą być statyczne lub dynamiczne (tworzone w trakcie działania programu). Z regionem pamięci powiązane są wskaźniki, tak że jeśli region jest niszczony (np. został stworzony w funkcji, która już została zakończona) to wszystkie wskaźniki - a ogólnie: obiekty stworzone w jego zakresie - automatycznie stają się nieważne. Dodatkowe cechy tego języka to: wyjątki znane z C++, ułatwienia w tworzeniu tablic (automatyczna alokacja pamięci, inicjalizacja wyrażeniami), abstrakcyjne typy danych, krotki, funkcje polimorficzne, pattern matching.
- Cyclone (читается «Си-клон» или «Циклон») — язык программирования, предназначенный для замены чистого, не объектно-ориентированного C в областях, где его применение традиционно и оправданно. Основная цель разработки — сделать программы на Си более защищённым от ошибок и уязвимостей, таких, как печально известное переполнение буфера, при минимальной потере эффективности и с сохранением преемственности. Идея заключается в том, чтобы взять средства эффективной защиты у языков высокого уровня и внедрить их в язык более низкого уровня. Основы разработки были заложены Дэном Гроссманом, Тревором Джимом, и Грегом Моррисеттом в Корнелльском Университете при проектировании и реализации языка ассемблера со строгой типизацией TAL (Typed Assembly Language). Cyclone отличают от Си прежде всего более строгая типизация, и при необходимости, введение runtime проверок, например, за соблюдением границ массива. Значительно расширена и формализована работа с указателями, тем не менее привычные си-программистам приёмы адресной арифметики продолжают работать. В язык добавлено множество удобных особенностей из C++, C99 и GCC. Введён новый тип данных @tagged union — аналог c-union, сохраняющий информацию о том, данные какого типа он хранит в данный момент. Самые большие нововведения связаны с заимствованием идей по работе с типами данных из языка ML. Это гибкая система статической типизации, облегчающая описание различных рекурсивных структур и позволяющих использовать полиморфизм и обобщённое программирование. Программист может полностью контролировать процесс сопоставление типов в Cyclone Новый язык очень близок к C, что позволяет с минимальными усилиями переносить на него написанные на C приложения. На сегодняшний день создателям Cyclone удалось разработать простой веб-сервер, который, по их словам, совершенно невосприимчив к обычным ошибкам и уязвимостям. Версия компилятора 1.0 вышла в 8 мая 2006.
|
| rdfs:comment
|
- The Cyclone programming language is intended to be a safe dialect of the C programming language. Cyclone is designed to avoid buffer overflows and other vulnerabilities that are endemic in C programs, without losing the power and convenience of C as a tool for systems programming. Cyclone development was started as a joint project of AT&T Labs Research and Greg Morrisett's group at Cornell in 2001. Version 1.0 was released on May 8, 2006.
- Cyclone ist ein Dialekt der Programmiersprache C, der verschiedene Sicherheitsmechanismen besitzt, mit denen sich das Auftreten von Pufferüberlauf- und Format-String-Schwachstellen weitgehend unterbinden lässt. Dieser wurde in einer Zusammenarbeit der AT&T Labs Research und der Cornell University entwickelt.
- Cyclone és un llenguatge de programació derivat del llenguatge C que té per finalitat superar les vulnerabilitats d'aquest sense perdre la potència i el control dels recursos que el caracteritzen per a la programació de sistemes. El seu desenvolupament començà com un projecte conjunt de AT&T Labs Research i el grup de Greg Morrisett a la universitat de Cornell el 2001.
- Cyclone jest niskopoziomowym językiem programowania, którego korzenie sięgają języka C. Został tak zaprojektowany, by uniknąć głównych wad swojego pierwowzoru. Wskaźniki w Cyclone dzielą się na cztery grupy: zwykłe wskaźniki (takie jak w C) - ograniczona możliwości rzutowania, jest zabroniona arytmetyka wskaźników; Cyclone przy dereferencji wskaźnika (np. rekord→pole) sprawdza czy wskaźnik ma wartość NULL.
- Cyclone (читается «Си-клон» или «Циклон») — язык программирования, предназначенный для замены чистого, не объектно-ориентированного C в областях, где его применение традиционно и оправданно.
|
![[RDF Data]](/statics/sw-cube.png)
