Cyclone ist ein Dialekt der Programmiersprache C.
| Cyclone | |
|---|---|
| Paradigmen: | imperativ, strukturiert |
| Erscheinungsjahr: | 2002 |
| Designer: | AT&T Labs |
| Entwickler: | Dan Grossman, Mike Hicks, Trevor Jim, Greg Morrisett, Nikhil SwamyYanling Wang |
| Aktuelle Version: | 1.0 (2006-05-08) |
| Beeinflusst von: | C |
| Beeinflusste: | Rust |
| cyclone.thelanguage.org |
Cyclone besitzt verschiedene Sicherheitsmechanismen, mit denen sich das Auftreten von Pufferüberlauf- und Format-String-Schwachstellen weitgehend unterbinden lässt. Cyclone behält dabei gleichzeitig das Erscheinungsbild von C bei.
Dieser wurde in einer Zusammenarbeit der AT&T Labs Research und der Cornell University entwickelt. Die Entwicklung begann im Jahre 2001 und wurde 2006 zugunsten anderer Projekte beendet. Zum Ende des Projekts waren zusätzlich die University of Maryland, College Park, Harvard University und die University of Washington an der Entwicklung beteiligt. Die Konzepte von Cyclone wurden in andere Programmiersprachen wie z.Bsp. Rust übernommen.
Literatur Bearbeiten
- Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang: Cyclone: A safe dialect of C. In: Proceedings of the General Track: 2002 USENIX Annual Technical Conference. Juni 2002, S. 275–288 (englisch, usenix.org [abgerufen am 6. März 2020]).
- Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney: Region-based memory management in cyclone. In: Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation. Association for Computing Machinery, New York 2002, ISBN 978-1-58113-463-6, S. 282–293, doi:10.1145/512529.512563 (englisch).
- Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Region-based memory management in cyclone. In: Proceedings of the 4th international symposium on Memory management. Association for Computing Machinery, New York 2002, ISBN 978-1-58113-945-7, S. 73–84, doi:10.1145/1029873.1029883 (englisch).
- Dan Grossman: Type-safe multithreading in cyclone. In: ACM SIGPLAN Notices. Band 38, Nr. 3. Association for Computing Machinery, New York März 2003, S. 13–25, doi:10.1145/640136.604177 (englisch, washington.edu [PDF; abgerufen am 6. März 2020]).
- Dan Grossman, Michael Hicks, Trevor Jim, Greg Morrisett: Cyclone: a Type-safe Dialect of C. In: C/C++ Users Journal. Band 23, Nr. 3, Januar 2005 (englisch).
- Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. In: Science of Computer Programming. Band 62, Nr. 2, 2006, ISBN 978-1-58113-945-7, S. 122–124, doi:10.1016/j.scico.2006.02.003 (englisch).
Weblinks Bearbeiten
Wiktionary: Cyclone – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen
Einzelnachweise Bearbeiten
- ↑ People. In: cyclone.thelanguage.org. Abgerufen am 6. März 2020 (englisch).
- Michael Hicks: Cyclone: A safe dialect of C, 2002
- Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. In: Science of Computer Programming. Band 62, Nr. 2, 2006, ISBN 978-1-58113-945-7, S. 122–124, doi:10.1016/j.scico.2006.02.003 (englisch).
- Cyclone is a safe dialect of C. In: cyclone.thelanguage.org. Abgerufen am 6. März 2020 (englisch).