Cyclone: A Safe Dialect Of C
ATEC '02: Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference(2002)
摘要
Cyclone is a safe dialect of C. It has been designed from tile ground tip to prevent the buffer overflows, format string attacks, and memory management. errors that are common in C programs, while retaining C's syntax and semantics. This paper examines safety violations enabled by C's design, and shows how Cyclone avoids them, without giving up C's hallmark control over low-level details such as data representation and memory management.
更多查看译文
关键词
Safe Dialect
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络