15-213 Introduction to Computer Systems
Lecture 20: 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 home page
Slides: none
Code: 20-cyclone/ (20-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: Garbage Collection
Next lecture: System-Level I/O