15-213 Introduction to Computer Systems
Lecture 14: Cyclone

Reading:
- Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett: Cyclone: A Type-Safe Dialect of C, C/C++ User's Journal, 2004.
- Cyclone for C Programmers (you may skip: Zero-Terminated Pointers, LIFO regions, Datatypes, Exceptions, Pattern Matching, Polymorphic Functions, Polymorphic Data Structures, Abstract and Existential Types)
- Cyclone home page
Slides: none
Code: 14-cyclone/ (14-cyclone.tar)
Concepts:
- Unsafe features of C
  - Pointer arithmetic (out-of-bounds array access)
  - Some casts (eg, integer to pointer)
  - Unions
  - Uninitialized variables
  - Linking (without type checking)
  - printf and scanf argument interpretation
  - Returning pointers to local variables
  - free (eg, premature or twice)
- Fat pointers
- Thin pointers
- Tagged unions
- Stack and heap regions
Previous lecture: Linking
Next lecture: File Systems